Symbol: ipi_timer
arch/hexagon/kernel/time.c
137
void ipi_timer(void)
arch/sh/kernel/smp.c
293
static void ipi_timer(void)