pml1_entry_t
static void pmap_pte_walk(pml1_entry_t *l1, vm_offset_t va);
kernel_pmap->pm_pml1 = (pml1_entry_t *)PHYS_TO_DMAP(l1phys);
pml1_entry_t *l1e;
pml1_entry_t *l1e;
static __inline pml1_entry_t *
mmu_radix_update_proctab(int pid, pml1_entry_t l1pa)
pml1_entry_t *l1e;
pml1_entry_t *l1e;
pml1_entry_t *l1e;
pml1_entry_t *l1e;
pml1_entry_t *pml1;
pml1_entry_t *l1e;
pml1_entry_t *l1e;
pmap_pte_walk(pml1_entry_t *l1, vm_offset_t va)
pml1_entry_t *l1e;
pml1_entry_t *pm_pml1; /* KVA of root page directory */