pmap_l3e_pindex
dstmpte->pindex == pmap_l3e_pindex(addr))
KASSERT(mpte->pindex == pmap_l3e_pindex(va),
mpte = _pmap_allocpte(pmap, pmap_l3e_pindex(va),
uwptpg->pindex = pmap_l3e_pindex(va);
ptepindex = pmap_l3e_pindex(va);
nkpg->pindex = pmap_l3e_pindex(kernel_vm_end);
mpte->pindex = pmap_l3e_pindex(VM_MIN_KERNEL_ADDRESS) + i;
ptepindex = pmap_l3e_pindex(va);
ptepindex = pmap_l3e_pindex(va);
return (vm_radix_remove(&pmap->pm_radix, pmap_l3e_pindex(va)));
mpte->pindex = pmap_l3e_pindex(va);