PVO_VADDR
if (pvo->pvo_pmap == pm && PVO_VADDR(pvo) == va) {
if ((pmap_pte_to_va(pt) ^ PVO_VADDR(pvo)) & 0x0fffffff) {
pvo, pt, pmap_pte_to_va(pt), PVO_VADDR(pvo));
if (pvo->pvo_pmap == pm && PVO_VADDR(pvo) == va) {
int sr = PVO_VADDR(pvo) >> ADDR_SR_SHFT;
int sr = PVO_VADDR(pvo) >> ADDR_SR_SHFT;
pmap_pte_clear(pt, PVO_VADDR(pvo), ptebit);
if (pm == pvo->pvo_pmap && addr == PVO_VADDR(pvo)) {
PVO_VADDR(pvo) >> ADDR_SR_SHFT;