Searched refs:tick_receive_broadcast (Results 1 – 7 of 7) sorted by relevance
207 extern int tick_receive_broadcast(void);
296 tick_receive_broadcast(); in ipi_timer()
645 tick_receive_broadcast(); in handle_IPI()
720 tick_receive_broadcast(); in tick_broadcast_callee()
915 tick_receive_broadcast(); in handle_IPI()
245 int tick_receive_broadcast(void) in tick_receive_broadcast() function
661 tick_receive_broadcast(); in timer_broadcast_interrupt()