PVO_PTEGIDX_GET
KASSERT(PVO_PTEGIDX_GET(victim_pvo) == i);
pteidx = ptegidx * 8 + PVO_PTEGIDX_GET(pvo);
if (((((uintptr_t) pt) >> 3) & 7) != PVO_PTEGIDX_GET(pvo)) {