tick_broadcast_offline  625 kernel/time/clockevents.c 	tick_broadcast_offline(cpu);
tick_broadcast_offline  141 kernel/time/tick-internal.h extern void tick_broadcast_offline(unsigned int cpu);