TICK_DO_TIMER_BOOT 36 kernel/time/tick-common.c int tick_do_timer_cpu __read_mostly = TICK_DO_TIMER_BOOT; TICK_DO_TIMER_BOOT 152 kernel/time/tick-common.c if (tick_do_timer_cpu == TICK_DO_TIMER_BOOT) {