Searched refs:tick_receive_broadcast (Results 1 – 5 of 5) sorted by relevance
213 extern int tick_receive_broadcast(void);
116 tick_receive_broadcast(); in tick_oneshot_wakeup_handler() 339 int tick_receive_broadcast(void) in tick_receive_broadcast() 331 int tick_receive_broadcast(void) tick_receive_broadcast() function
296 tick_receive_broadcast(); in ipi_timer()
636 tick_receive_broadcast(); in timer_broadcast_interrupt()
1017 tick_receive_broadcast(); in do_handle_IPI()