HelenOS sources

tlb_invalidate_asid  169 kernel/arch/mips32/include/arch/mm/tlb.h #define tlb_invalidate(asid)  tlb_invalidate_asid(asid)
tlb_invalidate_asid  129 kernel/genarch/src/mm/asid.c 		tlb_invalidate_asid(asid);
tlb_invalidate_asid  145 kernel/genarch/src/mm/asid.c 		tlb_invalidate_asid(asid);
tlb_invalidate_asid   87 kernel/generic/include/mm/tlb.h extern void tlb_invalidate_asid(asid_t);
tlb_invalidate_asid   78 kernel/generic/src/mm/km.c 	tlb_invalidate_asid(ASID_KERNEL);
tlb_invalidate_asid  175 kernel/generic/src/mm/tlb.c 			tlb_invalidate_asid(asid);