pmap_pte_index
ptep = pv_pte_lookup(pt_pv, pmap_pte_index(va));
ptep = pv_pte_lookup(pt_pv, pmap_pte_index(va));
ptep = pv_pte_lookup(pt_pv, pmap_pte_index(info->sva));
ptep = pv_pte_lookup(pt_pv, pmap_pte_index(sva));
ptep = pv_pte_lookup(pt_pv, pmap_pte_index(va));
ptep = pv_pte_lookup(pt_pv, pmap_pte_index(va));
return (&pte[pmap_pte_index(va)]);
pte += pmap_pte_index(va);
return (&pte[pmap_pte_index(va)]);