pmap_pv_pte
pt_entry_t *ptep = pmap_pv_pte(newpv);
ptep = pmap_pv_pte(pv);
pte_set(pmap_pv_pte(pv), PTE51_CI);
ptep = pmap_pv_pte(pv);
pte_mask(pmap_pv_pte(pv), ~((uint32_t)PTE51_CI));
opte = pte_load(pmap_pv_pte(pv));
pmap_remove_mapping(pv->pv_pmap, PV_VA(pv), pmap_pv_pte(pv),
combined_pte |= pte_load(pmap_pv_pte(pv));
ptep = pmap_pv_pte(pv);