25#define VA_MASK 0x0000FFFFFFFFFFFFUL
28 ((((ULONGLONG)p) >> PAGE_SHIFT) & 0xfffffffULL)
30#define VAtoPXI(va) ((((ULONG64)(va)) >> PXI_SHIFT) & 0x1FF)
31#define VAtoPPI(va) ((((ULONG64)(va)) >> PPI_SHIFT) & 0x1FF)
32#define VAtoPDI(va) ((((ULONG64)(va)) >> PDI_SHIFT) & 0x1FF)
33#define VAtoPTI(va) ((((ULONG64)(va)) >> PTI_SHIFT) & 0x1FF)
VOID FrLdrSetupGdtIdt(VOID)