tick_cancel_sched_timer   80 include/linux/tick.h extern void tick_cancel_sched_timer(int cpu);
tick_cancel_sched_timer 1690 kernel/hrtimer.c 	tick_cancel_sched_timer(cpu);