Searched refs:kernel_pml4 (Results 1 – 1 of 1) sorted by relevance
486 static pml4_entry_t *kernel_pml4; variable2156 kernel_pml4 = PHYS_TO_DMAP(KPML4phys); in pmap_bootstrap()2157 kernel_pmap->pm_pmltop = kernel_pml4; in pmap_bootstrap()10690 KASSERT((kernel_pml4[pml4_idx] & X86_PG_V) != 0, in pmap_large_map_pdpe()10694 mphys = kernel_pml4[pml4_idx] & PG_FRAME; in pmap_large_map_pdpe()