PV_VAMASK
#define PV_MATCH(pv,va) (!((((pv)->pv_va) ^ (va)) & PV_VAMASK))
#define PV_SETVA(pv,va) ((pv)->pv_va = (((va) & PV_VAMASK) | (((pv)->pv_va) & PV_MASK)))
data = pseg_get(pv->pv_pmap, pv->pv_va & PV_VAMASK);
if (pseg_set(pv->pv_pmap, pv->pv_va & PV_VAMASK, data, 0)) {
(pv->pv_va & PV_VAMASK));
tlb_flush_pte((pv->pv_va & PV_VAMASK),
data = pseg_get(pv->pv_pmap, pv->pv_va & PV_VAMASK);
if (pseg_set(pv->pv_pmap, pv->pv_va & PV_VAMASK, data, 0)) {
(pv->pv_va & PV_VAMASK));
data = pseg_get(npv->pv_pmap, npv->pv_va & PV_VAMASK);
data = pseg_get(npv->pv_pmap, npv->pv_va & PV_VAMASK);
data = pseg_get(pmap, va & PV_VAMASK);
if (pseg_set(pmap, va & PV_VAMASK, data, 0)) {
data = pseg_get(pv->pv_pmap, pv->pv_va & PV_VAMASK);
if (pseg_set(pv->pv_pmap, pv->pv_va & PV_VAMASK, data, 0)) {
(pv->pv_va & PV_VAMASK));
tlb_flush_pte(pv->pv_va & PV_VAMASK, pv->pv_pmap->pm_ctx);
data = pseg_get(pv->pv_pmap, pv->pv_va & PV_VAMASK);
if (pseg_set(pv->pv_pmap, pv->pv_va & PV_VAMASK, 0, 0)) {
(pv->pv_va & PV_VAMASK));
tlb_flush_pte(pv->pv_va & PV_VAMASK, pv->pv_pmap->pm_ctx);
data = pseg_get(pv->pv_pmap, pv->pv_va & PV_VAMASK);
if (pseg_set(pv->pv_pmap, pv->pv_va & PV_VAMASK, 0, 0)) {
(pv->pv_va & PV_VAMASK));
tlb_flush_pte(pv->pv_va & PV_VAMASK,
npv->pv_va = va & PV_VAMASK;
data = pseg_get(pv->pv_pmap, pv->pv_va & PV_VAMASK);
data = pseg_get(npv->pv_pmap, npv->pv_va & PV_VAMASK);
va = (pv->pv_va & PV_VAMASK);