pmap_pde_to_pte
for (pte = pmap_pde_to_pte(pde, sva); sva != va_next; pte++,
for (pte = pmap_pde_to_pte(pde, sva); sva != va_next; pte++,
pte = pmap_pde_to_pte(pde, addr);
return (pmap_pde_to_pte(pde, va));
for (pte = pmap_pde_to_pte(pde, sva); sva != va_next; pte++,
pte = pmap_pde_to_pte(pdep, va);
pa = *pmap_pde_to_pte(&pde, va);