tick_cancel_sched_timer 2048 kernel/time/hrtimer.c tick_cancel_sched_timer(scpu); tick_cancel_sched_timer 86 kernel/time/tick-sched.h extern void tick_cancel_sched_timer(int cpu);