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)