HelenOS sources

tlb_shootdown_finalize   77 kernel/generic/include/mm/tlb.h #define tlb_shootdown_finalize(i)	(interrupts_restore(i));
tlb_shootdown_finalize  137 kernel/generic/src/mm/tlb.c void tlb_shootdown_finalize(ipl_t ipl)
HelenOS homepage, sources at GitHub