tick_setup_sched_timer  739 kernel/time/hrtimer.c 	tick_setup_sched_timer();
tick_setup_sched_timer   84 kernel/time/tick-sched.h extern void tick_setup_sched_timer(void);