Searched refs:kernel_lev1map (Results 1 – 3 of 3) sorted by relevance
207 pt_entry_t *kernel_lev1map; variable503 if ((pmap)->pm_lev1map == kernel_lev1map) { \749 kernel_lev1map = (pt_entry_t *) in pmap_bootstrap()785 kernel_lev1map[l1pte_index(VPTBASE)] = pte; in pmap_bootstrap()858 pmap_kernel()->pm_lev1map = kernel_lev1map; in pmap_bootstrap()1226 if (pmap->pm_lev1map == kernel_lev1map) in pmap_do_remove()1557 KASSERT(pmap->pm_lev1map != kernel_lev1map); in pmap_enter()2988 KDASSERT(pm->pm_lev1map != kernel_lev1map); in pmap_growkernel()3075 pmap->pm_lev1map = kernel_lev1map; in pmap_lev1map_destroy()3104 l1pt[i] = kernel_lev1map[i]; in pmap_l1pt_ctor()[all …]
1084 cpuhdrp->lev1map_pa = ALPHA_K0SEG_TO_PHYS((vaddr_t)kernel_lev1map); in cpu_dump()
140 extern pt_entry_t *kernel_lev1map; /* kernel level 1 page table */