Searched refs:kernel_pml4 (Results 1 – 1 of 1) sorted by relevance
467 static pml4_entry_t *kernel_pml4; variable1906 kernel_pml4 = (pml4_entry_t *)PHYS_TO_DMAP(KPML4phys); in create_pagetables()1982 kernel_pmap->pm_pmltop = kernel_pml4; in pmap_bootstrap()2623 kernel_pml4[LMSPML4I + i] = X86_PG_V | in pmap_init()10672 KASSERT((kernel_pml4[pml4_idx] & X86_PG_V) != 0, in pmap_large_map_pdpe()10676 mphys = kernel_pml4[pml4_idx] & PG_FRAME; in pmap_large_map_pdpe()12077 pml4e = kernel_pml4[i]; in sysctl_kmaps()