pmap_tlb_intersecting_active_p
KASSERT(pmap_tlb_intersecting_active_p(PAI_PMAP(pai, ti), ti));
KASSERT(pmap_tlb_intersecting_active_p(pm, ti));
KASSERT(!pmap_tlb_intersecting_active_p(pm, ti));
if (!pmap_tlb_intersecting_active_p(pm, ti)) {
KASSERT(!pmap_tlb_intersecting_active_p(pm, ti));