Symbol: tick_sched_timer_dying
kernel/time/tick-common.c
405
tick_sched_timer_dying(dying_cpu);
kernel/time/tick-sched.h
109
extern void tick_sched_timer_dying(int cpu);