tlb_invalidate_asids
void tlb_invalidate_asids(uint32_t, uint32_t) __stub;
tlb_invalidate_asids(tlb_asid_t asid_lo, tlb_asid_t asid_hi)
tlb_invalidate_asids(pai->pai_asid, pai->pai_asid);
tlb_invalidate_asids(pai->pai_asid, pai->pai_asid);
tlb_invalidate_asids(KERNEL_PID + 1, ti->ti_asid_max);
tlb_invalidate_asids(KERNEL_PID + 1, ti->ti_asid_max);
tlb_invalidate_asids(pai->pai_asid, pai->pai_asid);
tlb_invalidate_asids(pai->pai_asid, pai->pai_asid);
void tlb_invalidate_asids(tlb_asid_t, tlb_asid_t);