Symbol: tick_sched_timer_dying
kernel/time/tick-sched.c
1634
void tick_sched_timer_dying(int cpu)
kernel/time/tick-sched.h
111
static inline void tick_sched_timer_dying(int cpu) { }