HelenOS sources

tlb_shootdown_finalize  130 kernel/genarch/src/mm/asid.c 		tlb_shootdown_finalize(ipl);
tlb_shootdown_finalize  146 kernel/genarch/src/mm/asid.c 		tlb_shootdown_finalize(ipl);
tlb_shootdown_finalize   73 kernel/generic/include/mm/tlb.h extern void tlb_shootdown_finalize(ipl_t);
tlb_shootdown_finalize 1044 kernel/generic/src/mm/as.c 		tlb_shootdown_finalize(ipl);
tlb_shootdown_finalize 1152 kernel/generic/src/mm/as.c 	tlb_shootdown_finalize(ipl);
tlb_shootdown_finalize 1451 kernel/generic/src/mm/as.c 	tlb_shootdown_finalize(ipl);
tlb_shootdown_finalize   81 kernel/generic/src/mm/km.c 	tlb_shootdown_finalize(ipl);
tlb_shootdown_finalize  177 kernel/generic/src/mm/km.c 	tlb_shootdown_finalize(ipl);