141   UINT64        *PageTable,  in RestorePageTableAbove4G()  argument
155   ASSERT ((PageTable != NULL) && (IsValidPFAddress != NULL));  in RestorePageTableAbove4G()
167   PageTable = (UINT64*)(AsmReadCr3 () & PHYSICAL_ADDRESS_MASK);  in RestorePageTableAbove4G()
169   if ((PageTable[PTIndex] & IA32_PG_P) != 0) {  in RestorePageTableAbove4G()
171     PageTable = (UINT64*)(UINTN)(PageTable[PTIndex] & PHYSICAL_ADDRESS_MASK);  in RestorePageTableAbove4G()
173     if ((PageTable[PTIndex] & IA32_PG_P) != 0) {  in RestorePageTableAbove4G()
175       PageTable = (UINT64*)(UINTN)(PageTable[PTIndex] & PHYSICAL_ADDRESS_MASK);  in RestorePageTableAbove4G()
178       if ((PageTable[PTIndex] & IA32_PG_PS) != 0) {  in RestorePageTableAbove4G()
182         Address = (UINT64)(PageTable[PTIndex] & PHYSICAL_ADDRESS_MASK);  in RestorePageTableAbove4G()
190         PageTable = (UINT64*)(UINTN)(PageTable[PTIndex] & PHYSICAL_ADDRESS_MASK);  in RestorePageTableAbove4G()
191         if (PageTable != 0) {  in RestorePageTableAbove4G()
196           Address = (UINT64)(PageTable[PTIndex] & PHYSICAL_ADDRESS_MASK);  in RestorePageTableAbove4G()
226     PageTable = (UINT64*)(AsmReadCr3 () & PHYSICAL_ADDRESS_MASK);  in RestorePageTableAbove4G()
230     PageTable = (UINT64*)(UINTN)(PageTable[PTIndex] & PHYSICAL_ADDRESS_MASK);  in RestorePageTableAbove4G()
233     PageTable = (UINT64*)(UINTN)(PageTable[PTIndex] & PHYSICAL_ADDRESS_MASK);  in RestorePageTableAbove4G()
236     Address = PageTable[PTIndex] & PHYSICAL_ADDRESS_MASK;  in RestorePageTableAbove4G()
241       AcquirePage (&PageTable[PTIndex]);  in RestorePageTableAbove4G()
244       PageTable = (UINT64*)(UINTN)(PageTable[PTIndex] & PHYSICAL_ADDRESS_MASK);  in RestorePageTableAbove4G()
246         PageTable[Index] = Address | PAGE_ATTRIBUTE_BITS;  in RestorePageTableAbove4G()
248           PageTable[Index] = PageTable[Index] & (INTN)(INT32)(~PAGE_ATTRIBUTE_BITS);  in RestorePageTableAbove4G()
251           PageTable[Index] = PageTable[Index] | IA32_PG_NX;  in RestorePageTableAbove4G()
266         PageTable[PTIndex] = PageTable[PTIndex] & (INTN)(INT32)(~PAGE_ATTRIBUTE_BITS);  in RestorePageTableAbove4G()
272         PageTable[PTIndex] = PageTable[PTIndex] | IA32_PG_NX;  in RestorePageTableAbove4G()
285     mLastPFEntryValue[CpuIndex][PFIndex]   = PageTable[PTIndex];  in RestorePageTableAbove4G()
286     mLastPFEntryPointer[CpuIndex][PFIndex] = &PageTable[PTIndex];  in RestorePageTableAbove4G()
293   PageTable[PTIndex] |= (UINT64)(PAGE_ATTRIBUTE_BITS);  in RestorePageTableAbove4G()
298     PageTable[PTIndex] &= ~IA32_PG_NX;  in RestorePageTableAbove4G()