tlb_shootdown_ipi 145 kernel/arch/amd64/src/interrupt.c static void tlb_shootdown_ipi(unsigned int n, istate_t *istate) tlb_shootdown_ipi 167 kernel/arch/ia32/src/interrupt.c static void tlb_shootdown_ipi(unsigned int n __attribute__((unused)),HelenOS homepage, sources at GitHub