27 #define KIP0PCRADDRESS 0xFFFFF78000001000ULL 29 #define VA_MASK 0x0000FFFFFFFFFFFFUL 32 ((((ULONGLONG)p) >> PAGE_SHIFT) & 0xfffffffULL) 34 #define VAtoPXI(va) ((((ULONG64)(va)) >> PXI_SHIFT) & 0x1FF) 35 #define VAtoPPI(va) ((((ULONG64)(va)) >> PPI_SHIFT) & 0x1FF) 36 #define VAtoPDI(va) ((((ULONG64)(va)) >> PDI_SHIFT) & 0x1FF) 37 #define VAtoPTI(va) ((((ULONG64)(va)) >> PTI_SHIFT) & 0x1FF) VOID FrLdrSetupGdtIdt(VOID)