tlb_shootdown_ipi 228 kernel/arch/amd64/src/interrupt.c (iroutine_t) tlb_shootdown_ipi); tlb_shootdown_ipi 251 kernel/arch/ia32/src/interrupt.c (iroutine_t) tlb_shootdown_ipi);