Searched refs:KERNEL_BASEMENT (Results 1 – 2 of 2) sorted by relevance
215 #define KERNEL_BASEMENT (KERNEL_BASE - NBPML4) /* Basement uses one PML4 entry */ macro
946 pmap_expand_pml4(kernel_pmap, KERNEL_BASEMENT, PMAP_EXPAND_OPTIONS_NONE); in pmap_init()2080 assert(map != kernel_pmap || (vaddr == KERNEL_BASEMENT)); in pmap_expand_pml4()2296 !(vaddr >= KERNEL_BASEMENT && vaddr <= VM_MAX_KERNEL_ADDRESS))) { in pmap_expand()