ipi_timer         127 arch/hexagon/kernel/time.c void ipi_timer(void)
ipi_timer         293 arch/sh/kernel/smp.c static void ipi_timer(void)