ipi_timer          14 arch/hexagon/include/asm/time.h void ipi_timer(void);
ipi_timer          48 arch/hexagon/kernel/smp.c 			ipi_timer();
ipi_timer         315 arch/sh/kernel/smp.c 		ipi_timer();