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