Symbol: TICK_DO_TIMER_BOOT
kernel/time/tick-common.c
200
if (READ_ONCE(tick_do_timer_cpu) == TICK_DO_TIMER_BOOT) {
kernel/time/tick-common.c
51
int tick_do_timer_cpu __read_mostly = TICK_DO_TIMER_BOOT;