Symbol: tick_offline_cpu
kernel/time/tick-common.c
408
tick_offline_cpu(dying_cpu);
kernel/time/tick-internal.h
28
extern void tick_offline_cpu(unsigned int cpu);