Searched refs:kernel_pml4 (Results 1 – 1 of 1) sorted by relevance
434 static pml4_entry_t *kernel_pml4; variable1838 kernel_pml4 = (pml4_entry_t *)PHYS_TO_DMAP(KPML4phys); in create_pagetables()1912 kernel_pmap->pm_pmltop = kernel_pml4; in pmap_bootstrap()2516 kernel_pml4[LMSPML4I + i] = X86_PG_V | in pmap_init()10286 KASSERT((kernel_pml4[pml4_idx] & X86_PG_V) != 0, in pmap_large_map_pdpe()10290 mphys = kernel_pml4[pml4_idx] & PG_FRAME; in pmap_large_map_pdpe()11641 pml4e = kernel_pml4[i]; in sysctl_kmaps()