tick_broadcast_set_event  431 kernel/time/tick-broadcast.c 		if (tick_broadcast_set_event(next_event, 0))
tick_broadcast_set_event  470 kernel/time/tick-broadcast.c 				tick_broadcast_set_event(dev->next_event, 1);
tick_broadcast_set_event  537 kernel/time/tick-broadcast.c 			tick_broadcast_set_event(tick_next_period, 1);