pv_get
pt_pv = pv_get(pmap, pmap_pt_pindex(va), NULL);
pt_pv = pv_get(pmap, pmap_pt_pindex(va), NULL);
info->pvp = pv_get(pmap, pindex, NULL);
pvp = pv_get(pv->pv_pmap, pml4_pindex, NULL);
pvp = pv_get(pv->pv_pmap, pdp_pindex, NULL);
pvp = pv_get(pv->pv_pmap, pd_pindex, NULL);
pte_pv = pv_get(pmap, pmap_pte_pindex(info->sva),
pte_pv = pv_get(pmap, pmap_pte_pindex(info->sva),
pt_pv = pv_get(pmap, pmap_pt_pindex(info->sva),
pd_pv = pv_get(pmap,
pd_pv = pv_get(pmap, pmap_pd_pindex(sva), NULL);
pd_pv = pv_get(pmap, pmap_pd_pindex(sva), NULL);
pte_pv = pv_get(pmap, pmap_pte_pindex(va), &pte_placemark);
pt_pv = pv_get(pmap, pmap_pt_pindex(va), NULL);