HelenOS sources

tlb_invalidate_asid   42 kernel/arch/abs32le/src/mm/tlb.c void tlb_invalidate_asid(asid_t asid __attribute__((unused)))
tlb_invalidate_asid   51 kernel/arch/amd64/src/mm/tlb.c void tlb_invalidate_asid(asid_t asid __attribute__((unused)))
tlb_invalidate_asid   70 kernel/arch/arm32/src/mm/tlb.c void tlb_invalidate_asid(asid_t asid)
tlb_invalidate_asid   60 kernel/arch/arm64/src/mm/tlb.c void tlb_invalidate_asid(asid_t asid)
tlb_invalidate_asid   51 kernel/arch/ia32/src/mm/tlb.c void tlb_invalidate_asid(asid_t asid __attribute__((unused)))
tlb_invalidate_asid   99 kernel/arch/ia64/src/mm/tlb.c void tlb_invalidate_asid(asid_t asid)
tlb_invalidate_asid  352 kernel/arch/mips32/src/mm/tlb.c void tlb_invalidate_asid(asid_t asid)
tlb_invalidate_asid  101 kernel/arch/ppc32/src/mm/tlb.c void tlb_invalidate_asid(asid_t asid)
tlb_invalidate_asid   42 kernel/arch/riscv64/src/mm/tlb.c void tlb_invalidate_asid(asid_t asid __attribute__((unused)))
tlb_invalidate_asid  521 kernel/arch/sparc64/src/mm/sun4u/tlb.c void tlb_invalidate_asid(asid_t asid)
tlb_invalidate_asid  368 kernel/arch/sparc64/src/mm/sun4v/tlb.c void tlb_invalidate_asid(asid_t asid)