Searched refs:tick_receive_broadcast (Results 1 – 10 of 10) sorted by relevance
207 extern int tick_receive_broadcast(void);
181 tick_receive_broadcast(); in handle_IPI()
112 tick_receive_broadcast(); in tick_oneshot_wakeup_handler()327 int tick_receive_broadcast(void) in tick_receive_broadcast() function
294 tick_receive_broadcast(); in ipi_timer()
691 tick_receive_broadcast(); in tick_broadcast_callee()
652 tick_receive_broadcast(); in do_handle_IPI()
892 tick_receive_broadcast(); in do_handle_IPI()
628 tick_receive_broadcast(); in timer_broadcast_interrupt()
4903 ffff800010128050 T tick_receive_broadcast
Completed in 843 milliseconds