tick_do_broadcast  168 kernel/time/tick-broadcast.c 	tick_do_broadcast(mask);
tick_do_broadcast  414 kernel/time/tick-broadcast.c 	tick_do_broadcast(mask);