741   UINT64  *Pte;  in Gen4GPageTable()  local
773   Pte = (UINT64*)PageTable;  in Gen4GPageTable()
778   ZeroMem (Pte, EFI_PAGES_TO_SIZE (1));  in Gen4GPageTable()
784 …Pte[Index] = (UINTN)PageTable + EFI_PAGE_SIZE * (Index + 1) + (Is32BitPageTable ? IA32_PAE_PDPTE_A…  in Gen4GPageTable()
786   Pte += EFI_PAGE_SIZE / sizeof (*Pte);  in Gen4GPageTable()
791   for (Index = 0; Index < EFI_PAGE_SIZE * 4 / sizeof (*Pte); Index++) {  in Gen4GPageTable()
792     Pte[Index] = (Index << 21) | IA32_PG_PS | PAGE_ATTRIBUTE_BITS;  in Gen4GPageTable()
800 …  Pte = (UINT64*)(UINTN)(Pdpte[BitFieldRead32 ((UINT32)PageIndex, 30, 31)] & ~(EFI_PAGE_SIZE - 1));  in Gen4GPageTable()
801       Pte[BitFieldRead32 ((UINT32)PageIndex, 21, 29)] = (UINT64)Pages | PAGE_ATTRIBUTE_BITS;  in Gen4GPageTable()
805       Pte = (UINT64*)Pages;  in Gen4GPageTable()
807       for (Index = 0; Index < EFI_PAGE_SIZE / sizeof (*Pte); Index++) {  in Gen4GPageTable()
812           Pte[Index] = PageAddress;  in Gen4GPageTable()
818           Pte[Index] = PageAddress | PAGE_ATTRIBUTE_BITS;  in Gen4GPageTable()