pv_pte_lookup
ptep = pv_pte_lookup(pv, (va >> PDRSHIFT) & 511);
ptep = pv_pte_lookup(pv, (va >> PAGE_SHIFT) & 511);
ptep = pv_pte_lookup(pt_pv, pmap_pte_index(va));
ptep = pv_pte_lookup(pt_pv, pmap_pte_index(va));
ptep = pv_pte_lookup(pvp, ptepindex);
ptep_iso = pv_pte_lookup(pmap->pm_pmlpv_iso, ptepindex);
ptep = pv_pte_lookup(pvp, ptepindex);
pd = pv_pte_lookup(pvp, pd_index &
pt = pv_pte_lookup(pvp, pt_index & ((1ul << NPDPEPGSHIFT) - 1));
static void *pv_pte_lookup(pv_entry_t pv, vm_pindex_t pindex);
ptep = pv_pte_lookup(pd_pv,
ptep = pv_pte_lookup(pt_pv, pmap_pte_index(info->sva));
ptep = pv_pte_lookup(pd_pv, pmap_pt_index(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));