Searched refs:tick_broadcast_ipi_handler (Results 1 – 3 of 3) sorted by relevance
31 extern void tick_broadcast_ipi_handler(void);
153 tick_broadcast_ipi_handler(); in tick_broadcast_ipi_action()258 tick_broadcast_ipi_handler(); in smp_ipi_demux()
834 void tick_broadcast_ipi_handler(void) in tick_broadcast_ipi_handler() function