Symbol: tick_broadcast_offline
kernel/time/clockevents.c
635
tick_broadcast_offline(cpu);
kernel/time/tick-internal.h
146
extern void tick_broadcast_offline(unsigned int cpu);