Searched refs:timer_broadcast_interrupt (Results 1 – 3 of 3) sorted by relevance
58 extern void timer_broadcast_interrupt(void);
162 timer_broadcast_interrupt(); in tick_broadcast_ipi_action()291 timer_broadcast_interrupt(); in smp_ipi_demux_relaxed()
626 void timer_broadcast_interrupt(void) in timer_broadcast_interrupt() function