Symbol: tick_setup_sched_timer
kernel/time/hrtimer.c
750
tick_setup_sched_timer(true);
kernel/time/tick-sched.c
1546
tick_setup_sched_timer(false);
kernel/time/tick-sched.h
107
extern void tick_setup_sched_timer(bool hrtimer);