pmap_l3e_to_pte
pte = pmap_l3e_to_pte(l3e, va);
pte = pmap_l3e_to_pte(pte, PHYS_TO_DMAP(start));
pte = pmap_l3e_to_pte(l3e, va);
for (pte = pmap_l3e_to_pte(l3e, sva); sva != va_next;
pte = pmap_l3e_to_pte(l3e, va);
pte = pmap_l3e_to_pte(l3e, pv->pv_va);
pte = pmap_l3e_to_pte(l3e, va);
pte = pmap_l3e_to_pte(l3e, va);
pte = be64toh(*pmap_l3e_to_pte(l3ep, va));
pte = pmap_l3e_to_pte(l3e, addr);
return (pmap_l3e_to_pte(l3e, va));
pte = pmap_l3e_to_pte(l3e, pv->pv_va);
for (pte = pmap_l3e_to_pte(l3e, sva); sva != va_next; pte++,
pte = pmap_l3e_to_pte(l3e, va);
for (pte = pmap_l3e_to_pte(l3e, sva); sva != eva; pte++,
pte = pmap_l3e_to_pte(l3e, pv->pv_va);
pte = pmap_l3e_to_pte(l3e, pv->pv_va);
for (pte = pmap_l3e_to_pte(l3e, sva); sva != va_next; pte++,
pte = be64toh(*pmap_l3e_to_pte(l3ep, addr));
pa = be64toh(*pmap_l3e_to_pte(&l3e, va));
pte = pmap_l3e_to_pte(l3e, tmpva);
pte = pmap_l3e_to_pte(l3e, tmpva);
pte = pmap_l3e_to_pte(l3e, va);
return (pmap_l3e_to_pte(l3e, va));
pte = pmap_l3e_to_pte(l3e, va);