Searched refs:tick_receive_broadcast (Results 1 – 7 of 7) sorted by relevance
213 extern int tick_receive_broadcast(void);
155 tick_receive_broadcast(); in handle_IPI()
116 tick_receive_broadcast(); in tick_oneshot_wakeup_handler()331 int tick_receive_broadcast(void) in tick_receive_broadcast() function
296 tick_receive_broadcast(); in ipi_timer()
744 tick_receive_broadcast();
646 tick_receive_broadcast(); in do_handle_IPI()
636 tick_receive_broadcast();