PVO_PTEGIDX_ISSET
KASSERT(PVO_PTEGIDX_ISSET(victim_pvo));
if ((pvo->pvo_pte.pte_hi & PTE_VALID) && !PVO_PTEGIDX_ISSET(pvo)) {
if ((pvo->pvo_pte.pte_hi & PTE_VALID) == 0 && PVO_PTEGIDX_ISSET(pvo)) {
KASSERT(!PVO_PTEGIDX_ISSET(pvo));