1 /* 2 * kernel internal memory management definitions for amd64 3 */ 4 #pragma once 5 6 #define _MI_PAGING_LEVELS 4 7 8 /* Memory layout base addresses */ 9 #define MI_USER_PROBE_ADDRESS (PVOID)0x000007FFFFFF0000ULL 10 #define MI_DEFAULT_SYSTEM_RANGE_START (PVOID)0xFFFF080000000000ULL 11 #define MI_REAL_SYSTEM_RANGE_START 0xFFFF800000000000ULL 12 #define HYPER_SPACE 0xFFFFF70000000000ULL 13 #define HYPER_SPACE_END 0xFFFFF77FFFFFFFFFULL 14 #define MI_SYSTEM_CACHE_WS_START 0xFFFFF78000001000ULL 15 #define MI_PAGED_POOL_START (PVOID)0xFFFFF8A000000000ULL 16 //#define MI_PAGED_POOL_END 0xFFFFF8BFFFFFFFFFULL 17 //#define MI_SESSION_SPACE_START 0xFFFFF90000000000ULL 18 #define MI_SESSION_VIEW_END 0xFFFFF97FFF000000ULL 19 #define MI_SESSION_SPACE_END 0xFFFFF97FFFFFFFFFULL 20 #define MM_SYSTEM_SPACE_START 0xFFFFF98000000000ULL 21 #define MI_PFN_DATABASE 0xFFFFFA8000000000ULL 22 #define MI_DEBUG_MAPPING (PVOID)0xFFFFFFFF80000000ULL // FIXME 23 #define MI_NONPAGED_POOL_END (PVOID)0xFFFFFFFFFFBFFFFFULL 24 #define MI_HIGHEST_SYSTEM_ADDRESS (PVOID)0xFFFFFFFFFFFFFFFFULL 25 #define MmSystemRangeStart ((PVOID)MI_REAL_SYSTEM_RANGE_START) 26 27 /* WOW64 address definitions */ 28 #define MM_HIGHEST_USER_ADDRESS_WOW64 0x7FFEFFFF 29 #define MM_SYSTEM_RANGE_START_WOW64 0x80000000 30 31 /* Misc address definitions */ 32 //#define MI_NON_PAGED_SYSTEM_START_MIN MM_SYSTEM_SPACE_START // FIXME 33 //#define MI_SYSTEM_PTE_START MM_SYSTEM_SPACE_START 34 //#define MI_SYSTEM_PTE_END (MI_SYSTEM_PTE_START + MI_NUMBER_SYSTEM_PTES * PAGE_SIZE - 1) 35 #define MI_SYSTEM_PTE_BASE (PVOID)MiAddressToPte(KSEG0_BASE) 36 #define MM_HIGHEST_VAD_ADDRESS (PVOID)((ULONG_PTR)MM_HIGHEST_USER_ADDRESS - (16 * PAGE_SIZE)) 37 #define MI_MAPPING_RANGE_START HYPER_SPACE 38 #define MI_MAPPING_RANGE_END (MI_MAPPING_RANGE_START + MI_HYPERSPACE_PTES * PAGE_SIZE) 39 #define MI_DUMMY_PTE (MI_MAPPING_RANGE_END + PAGE_SIZE) 40 #define MI_VAD_BITMAP (MI_DUMMY_PTE + PAGE_SIZE) 41 #define MI_WORKING_SET_LIST (MI_VAD_BITMAP + PAGE_SIZE) 42 43 /* Memory sizes */ 44 #define MI_MIN_PAGES_FOR_NONPAGED_POOL_TUNING ((255 * _1MB) >> PAGE_SHIFT) 45 #define MI_MIN_PAGES_FOR_SYSPTE_TUNING ((19 * _1MB) >> PAGE_SHIFT) 46 #define MI_MIN_PAGES_FOR_SYSPTE_BOOST ((32 * _1MB) >> PAGE_SHIFT) 47 #define MI_MIN_PAGES_FOR_SYSPTE_BOOST_BOOST ((256 * _1MB) >> PAGE_SHIFT) 48 #define MI_MIN_INIT_PAGED_POOLSIZE (32 * _1MB) 49 #define MI_MAX_INIT_NONPAGED_POOL_SIZE (128ULL * 1024 * 1024 * 1024) 50 #define MI_MAX_NONPAGED_POOL_SIZE (128ULL * 1024 * 1024 * 1024) 51 #define MI_SYSTEM_VIEW_SIZE (16 * _1MB) 52 #define MI_SESSION_VIEW_SIZE (20 * _1MB) 53 #define MI_SESSION_POOL_SIZE (16 * _1MB) 54 #define MI_SESSION_IMAGE_SIZE (8 * _1MB) 55 #define MI_SESSION_WORKING_SET_SIZE (4 * _1MB) 56 #define MI_SESSION_SIZE (MI_SESSION_VIEW_SIZE + \ 57 MI_SESSION_POOL_SIZE + \ 58 MI_SESSION_IMAGE_SIZE + \ 59 MI_SESSION_WORKING_SET_SIZE) 60 #define MI_MIN_ALLOCATION_FRAGMENT (4 * _1KB) 61 #define MI_ALLOCATION_FRAGMENT (64 * _1KB) 62 #define MI_MAX_ALLOCATION_FRAGMENT (2 * _1MB) 63 64 /* Misc constants */ 65 #define MM_PTE_SOFTWARE_PROTECTION_BITS 5 66 #define MI_MIN_SECONDARY_COLORS 8 67 #define MI_SECONDARY_COLORS 64 68 #define MI_MAX_SECONDARY_COLORS 1024 69 #define MI_NUMBER_SYSTEM_PTES 22000 70 #define MI_MAX_FREE_PAGE_LISTS 4 71 #define MI_HYPERSPACE_PTES (256 - 1) 72 #define MI_ZERO_PTES (32) 73 #define MI_MAX_ZERO_BITS 53 74 #define SESSION_POOL_LOOKASIDES 21 75 76 /* MMPTE related defines */ 77 #define MM_EMPTY_PTE_LIST ((ULONG64)0xFFFFFFFF) 78 #define MM_EMPTY_LIST ((ULONG_PTR)-1) 79 80 81 /* Easy accessing PFN in PTE */ 82 #define PFN_FROM_PTE(v) ((v)->u.Hard.PageFrameNumber) 83 #define PFN_FROM_PDE(v) ((v)->u.Hard.PageFrameNumber) 84 #define PFN_FROM_PPE(v) ((v)->u.Hard.PageFrameNumber) 85 #define PFN_FROM_PXE(v) ((v)->u.Hard.PageFrameNumber) 86 87 /* Macros for portable PTE modification */ 88 #define MI_MAKE_DIRTY_PAGE(x) ((x)->u.Hard.Dirty = 1) 89 #define MI_MAKE_CLEAN_PAGE(x) ((x)->u.Hard.Dirty = 0) 90 #define MI_MAKE_ACCESSED_PAGE(x) ((x)->u.Hard.Accessed = 1) 91 #define MI_PAGE_DISABLE_CACHE(x) ((x)->u.Hard.CacheDisable = 1) 92 #define MI_PAGE_WRITE_THROUGH(x) ((x)->u.Hard.WriteThrough = 1) 93 #define MI_PAGE_WRITE_COMBINED(x) ((x)->u.Hard.WriteThrough = 0) 94 #define MI_IS_PAGE_LARGE(x) ((x)->u.Hard.LargePage == 1) 95 #if !defined(CONFIG_SMP) 96 #define MI_IS_PAGE_WRITEABLE(x) ((x)->u.Hard.Write == 1) 97 #else 98 #define MI_IS_PAGE_WRITEABLE(x) ((x)->u.Hard.Writable == 1) 99 #endif 100 #define MI_IS_PAGE_COPY_ON_WRITE(x)((x)->u.Hard.CopyOnWrite == 1) 101 #define MI_IS_PAGE_EXECUTABLE(x) ((x)->u.Hard.NoExecute == 0) 102 #define MI_IS_PAGE_DIRTY(x) ((x)->u.Hard.Dirty == 1) 103 #define MI_MAKE_OWNER_PAGE(x) ((x)->u.Hard.Owner = 1) 104 #if !defined(CONFIG_SMP) 105 #define MI_MAKE_WRITE_PAGE(x) ((x)->u.Hard.Write = 1) 106 #else 107 #define MI_MAKE_WRITE_PAGE(x) ((x)->u.Hard.Writable = 1) 108 #endif 109 110 /* Macros to identify the page fault reason from the error code */ 111 #define MI_IS_NOT_PRESENT_FAULT(FaultCode) !BooleanFlagOn(FaultCode, 0x1) 112 #define MI_IS_WRITE_ACCESS(FaultCode) BooleanFlagOn(FaultCode, 0x2) 113 #define MI_IS_INSTRUCTION_FETCH(FaultCode) BooleanFlagOn(FaultCode, 0x10) 114 115 /* On x64, these are the same */ 116 #define MI_WRITE_VALID_PPE MI_WRITE_VALID_PTE 117 #define ValidKernelPpe ValidKernelPde 118 119 /* Convert an address to a corresponding PTE */ 120 PMMPTE 121 FORCEINLINE 122 _MiAddressToPte(PVOID Address) 123 { 124 ULONG64 Offset = (ULONG64)Address >> (PTI_SHIFT - 3); 125 Offset &= 0xFFFFFFFFFULL << 3; 126 return (PMMPTE)(PTE_BASE + Offset); 127 } 128 #define MiAddressToPte(x) _MiAddressToPte((PVOID)(x)) 129 130 /* Convert an address to a corresponding PDE */ 131 PMMPTE 132 FORCEINLINE 133 _MiAddressToPde(PVOID Address) 134 { 135 ULONG64 Offset = (ULONG64)Address >> (PDI_SHIFT - 3); 136 Offset &= 0x7FFFFFF << 3; 137 return (PMMPTE)(PDE_BASE + Offset); 138 } 139 #define MiAddressToPde(x) _MiAddressToPde((PVOID)(x)) 140 141 /* Convert an address to a corresponding PPE */ 142 PMMPTE 143 FORCEINLINE 144 MiAddressToPpe(PVOID Address) 145 { 146 ULONG64 Offset = (ULONG64)Address >> (PPI_SHIFT - 3); 147 Offset &= 0x3FFFF << 3; 148 return (PMMPTE)(PPE_BASE + Offset); 149 } 150 151 /* Convert an address to a corresponding PXE */ 152 PMMPTE 153 FORCEINLINE 154 MiAddressToPxe(PVOID Address) 155 { 156 ULONG64 Offset = (ULONG64)Address >> (PXI_SHIFT - 3); 157 Offset &= PXI_MASK << 3; 158 return (PMMPTE)(PXE_BASE + Offset); 159 } 160 161 /* Convert an address to a corresponding PTE offset/index */ 162 ULONG 163 FORCEINLINE 164 MiAddressToPti(PVOID Address) 165 { 166 return ((((ULONG64)Address) >> PTI_SHIFT) & 0x1FF); 167 } 168 #define MiAddressToPteOffset(x) MiAddressToPti(x) // FIXME: bad name 169 170 /* Convert an address to a corresponding PDE offset/index */ 171 ULONG 172 FORCEINLINE 173 MiAddressToPdi(PVOID Address) 174 { 175 return ((((ULONG64)Address) >> PDI_SHIFT) & 0x1FF); 176 } 177 #define MiAddressToPdeOffset(x) MiAddressToPdi(x) 178 #define MiGetPdeOffset(x) MiAddressToPdi(x) 179 180 /* Convert an address to a corresponding PXE offset/index */ 181 ULONG 182 FORCEINLINE 183 MiAddressToPxi(PVOID Address) 184 { 185 return ((((ULONG64)Address) >> PXI_SHIFT) & 0x1FF); 186 } 187 188 /* Convert a PTE into a corresponding address */ 189 PVOID 190 FORCEINLINE 191 MiPteToAddress(PMMPTE PointerPte) 192 { 193 /* Use signed math */ 194 return (PVOID)(((LONG64)PointerPte << 25) >> 16); 195 } 196 197 /* Convert a PDE into a corresponding address */ 198 PVOID 199 FORCEINLINE 200 MiPdeToAddress(PMMPTE PointerPde) 201 { 202 /* Use signed math */ 203 return (PVOID)(((LONG64)PointerPde << 34) >> 16); 204 } 205 206 /* Convert a PPE into a corresponding address */ 207 PVOID 208 FORCEINLINE 209 MiPpeToAddress(PMMPTE PointerPpe) 210 { 211 /* Use signed math */ 212 return (PVOID)(((LONG64)PointerPpe << 43) >> 16); 213 } 214 215 /* Convert a PXE into a corresponding address */ 216 PVOID 217 FORCEINLINE 218 MiPxeToAddress(PMMPTE PointerPxe) 219 { 220 /* Use signed math */ 221 return (PVOID)(((LONG64)PointerPxe << 52) >> 16); 222 } 223 224 /* Translate between P*Es */ 225 #define MiPdeToPte(_Pde) ((PMMPTE)MiPteToAddress(_Pde)) 226 #define MiPteToPde(_Pte) ((PMMPDE)MiAddressToPte(_Pte)) 227 #define MiPdeToPpe(_Pde) ((PMMPPE)MiAddressToPte(_Pde)) 228 229 /* Check P*E boundaries */ 230 #define MiIsPteOnPdeBoundary(PointerPte) \ 231 ((((ULONG_PTR)PointerPte) & (PAGE_SIZE - 1)) == 0) 232 #define MiIsPteOnPpeBoundary(PointerPte) \ 233 ((((ULONG_PTR)PointerPte) & (PDE_PER_PAGE * PAGE_SIZE - 1)) == 0) 234 #define MiIsPteOnPxeBoundary(PointerPte) \ 235 ((((ULONG_PTR)PointerPte) & (PPE_PER_PAGE * PDE_PER_PAGE * PAGE_SIZE - 1)) == 0) 236 237 // 238 // Decodes a Prototype PTE into the underlying PTE 239 // 240 #define MiProtoPteToPte(x) \ 241 (PMMPTE)(((LONG64)(x)->u.Long) >> 16) /* Sign extend 48 bits */ 242 243 // 244 // Decodes a Prototype PTE into the underlying PTE 245 // 246 #define MiSubsectionPteToSubsection(x) \ 247 (PMMPTE)((x)->u.Subsect.SubsectionAddress >> 16) 248 249 FORCEINLINE 250 VOID 251 MI_MAKE_SUBSECTION_PTE( 252 _Out_ PMMPTE NewPte, 253 _In_ PVOID Segment) 254 { 255 ULONG_PTR Offset; 256 257 /* Mark this as a prototype */ 258 NewPte->u.Long = 0; 259 NewPte->u.Subsect.Prototype = 1; 260 261 /* Store the lower 48 bits of the Segment address */ 262 NewPte->u.Subsect.SubsectionAddress = ((ULONG_PTR)Segment & 0x0000FFFFFFFFFFFF); 263 } 264 265 FORCEINLINE 266 VOID 267 MI_MAKE_PROTOTYPE_PTE(IN PMMPTE NewPte, 268 IN PMMPTE PointerPte) 269 { 270 /* Store the Address */ 271 NewPte->u.Long = (ULONG64)PointerPte << 16; 272 273 /* Mark this as a prototype PTE */ 274 NewPte->u.Proto.Prototype = 1; 275 276 ASSERT(MiProtoPteToPte(NewPte) == PointerPte); 277 } 278 279 FORCEINLINE 280 BOOLEAN 281 MI_IS_MAPPED_PTE(PMMPTE PointerPte) 282 { 283 /// FIXME 284 __debugbreak(); 285 return ((PointerPte->u.Long & 0xFFFFFC01) != 0); 286 } 287 288 VOID 289 FORCEINLINE 290 MmInitGlobalKernelPageDirectory(VOID) 291 { 292 /* Nothing to do */ 293 } 294 295 BOOLEAN 296 FORCEINLINE 297 MiIsPdeForAddressValid(PVOID Address) 298 { 299 return ((MiAddressToPxe(Address)->u.Hard.Valid) && 300 (MiAddressToPpe(Address)->u.Hard.Valid) && 301 (MiAddressToPde(Address)->u.Hard.Valid)); 302 } 303 304