PV_VA
const vaddr_t va = PV_VA(pv);
if (pmap == pv->pv_pmap && va == PV_VA(pv)) {
TBIS(PV_VA(pv));
CONFLICTING_ALIAS(va, PV_VA(pv))) {
TBIS(PV_VA(pv));
if (pmap == pv->pv_pmap && va == PV_VA(pv)) {
TBIS(PV_VA(pv));
TBIS(PV_VA(pv));
pmap_pv_remove(pmap, pg, PV_VA(pv), &pc);
pmap_remove_mapping(pv->pv_pmap, PV_VA(pv), pmap_pv_pte(pv),
TBIS(PV_VA(pv));
va = PV_VA(pv);
va = PV_VA(pv);
#define PV_CMPVA(va,pv) (!(PV_VA(pv) ^ (va)))