PAI_PMAP
KASSERT(PAI_PMAP(pai, ti) != pmap_kernel());
"pm %p asid %#x (%d)", PAI_PMAP(pai, ti), pai->pai_asid,
"pm %p asid %#x", PAI_PMAP(pai, ti), pai->pai_asid);
"pm %p asid %u", PAI_PMAP(pai, ti), pai->pai_asid);
KASSERT(pmap_tlb_intersecting_active_p(PAI_PMAP(pai, ti), ti));
struct pmap * const pm = PAI_PMAP(pai, ti);
pmap_tlb_pai_reset(ti, pai, PAI_PMAP(pai, ti));