Searched refs:tick_receive_broadcast (Results 1 – 6 of 6) sorted by relevance
207 extern int tick_receive_broadcast(void);
144 tick_receive_broadcast(); in handle_IPI()
113 tick_receive_broadcast(); in tick_oneshot_wakeup_handler() 328 int tick_receive_broadcast(void) in tick_receive_broadcast() function
296 tick_receive_broadcast(); in ipi_timer()
742 tick_receive_broadcast(); in tick_broadcast_callee()
647 tick_receive_broadcast(); in do_handle_IPI()