Searched refs:tick_receive_broadcast (Results 1 – 5 of 5) sorted by relevance
207 extern int tick_receive_broadcast(void);
480 tick_receive_broadcast(); in tick_broadcast_callee()
737 tick_receive_broadcast(); in handle_IPI()
608 tick_receive_broadcast(); in handle_IPI()
240 int tick_receive_broadcast(void) in tick_receive_broadcast() function