HelenOS sources

tlb_shootdown_start   76 kernel/generic/include/mm/tlb.h #define tlb_shootdown_start(w, x, y, z)	interrupts_disable()
tlb_shootdown_start   83 kernel/generic/src/mm/tlb.c ipl_t tlb_shootdown_start(tlb_invalidate_type_t type, asid_t asid,