pmap_tlb_intersecting_onproc_p
KASSERT(!pmap_tlb_intersecting_onproc_p(pm, ti));
if (pmap_tlb_intersecting_onproc_p(pm, ti)) {
if (pmap_tlb_intersecting_onproc_p(ti->ti_victim, ti)) {
KASSERT(!pmap_tlb_intersecting_onproc_p(pm, ti));