7 #define PTE_PER_PAGE 512
8 #define PDE_PER_PAGE 512
9 #define PPE_PER_PAGE 512
10 #define PXE_PER_PAGE 512
11 #define PTI_MASK_AMD64 (PTE_PER_PAGE - 1)
12 #define PDI_MASK_AMD64 (PDE_PER_PAGE - 1)
13 #define PPI_MASK (PPE_PER_PAGE - 1)
14 #define PXI_MASK (PXE_PER_PAGE - 1)
16 #define PXE_BASE 0xFFFFF6FB7DBED000ULL
17 #define PXE_SELFMAP 0xFFFFF6FB7DBEDF68ULL
18 #define PPE_BASE 0xFFFFF6FB7DA00000ULL
19 #define PDE_BASE 0xFFFFF6FB40000000ULL
20 #define PTE_BASE 0xFFFFF68000000000ULL
21 #define PXE_TOP 0xFFFFF6FB7DBEDFFFULL
22 #define PPE_TOP 0xFFFFF6FB7DBFFFFFULL
23 #define PDE_TOP 0xFFFFF6FB7FFFFFFFULL
24 #define PTE_TOP 0xFFFFF6FFFFFFFFFFULL
26 #define MM_HIGHEST_USER_ADDRESS MmHighestUserAddress
27 #define MM_SYSTEM_RANGE_START MmSystemRangeStart
28 #define MM_USER_PROBE_ADDRESS MmUserProbeAddress
29 #define MM_LOWEST_USER_ADDRESS (PVOID)0x10000
30 #define MM_LOWEST_SYSTEM_ADDRESS (PVOID)0xFFFF080000000000ULL
31 #define KI_USER_SHARED_DATA 0xFFFFF78000000000ULL