tick_sched_timer_dying
tick_sched_timer_dying(dying_cpu);
extern void tick_sched_timer_dying(int cpu);