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) {