tick_setup_sched_timer   76 include/linux/tick.h extern void tick_setup_sched_timer(void);
tick_setup_sched_timer  726 kernel/hrtimer.c 	tick_setup_sched_timer();