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);