tlb_invalidate_addr
tlb_invalidate_addr(va, asid);
tlb_invalidate_addr(va, pai->pai_asid);
tlb_invalidate_addr(va, pai->pai_asid);
tlb_invalidate_addr(va, pai->pai_asid);
tlb_invalidate_addr(va, pai->pai_asid);
tlb_invalidate_addr(va, asid);
tlb_invalidate_addr(tlbmask.tlb_hi, KERNEL_PID);
tlb_invalidate_addr(-PAGE_SIZE, KERNEL_PID);
void tlb_invalidate_addr(vaddr_t, tlb_asid_t) __stub;
tlb_invalidate_addr(va, KERNEL_PID);
tlb_invalidate_addr(vaddr_t va, tlb_asid_t asid)
tlb_invalidate_addr(va, asid);
tlb_invalidate_addr(va, pai->pai_asid);
void tlb_invalidate_addr(vaddr_t, tlb_asid_t);