va_to_pteg
ptegidx = va_to_pteg(sr, va);
ptegidx = va_to_pteg(sr, pvo->pvo_vaddr);
ptegidx = va_to_pteg(sr, addr);