Searched refs:kernel_pml4 (Results 1 – 1 of 1) sorted by relevance
474 static pml4_entry_t *kernel_pml4; variable2134 kernel_pml4 = (pml4_entry_t *)PHYS_TO_DMAP(KPML4phys); in pmap_bootstrap()2135 kernel_pmap->pm_pmltop = kernel_pml4; in pmap_bootstrap()10651 KASSERT((kernel_pml4[pml4_idx] & X86_PG_V) != 0, in pmap_large_map_pdpe()10655 mphys = kernel_pml4[pml4_idx] & PG_FRAME; in pmap_large_map_pdpe()