tick_do_timer_boot_cpu   55 kernel/time/tick-common.c static int tick_do_timer_boot_cpu __read_mostly = -1;
tick_do_timer_boot_cpu  191 kernel/time/tick-common.c 	int from = tick_do_timer_boot_cpu;
tick_do_timer_boot_cpu  229 kernel/time/tick-common.c 				tick_do_timer_boot_cpu = cpu;
tick_do_timer_boot_cpu  231 kernel/time/tick-common.c 		} else if (tick_do_timer_boot_cpu != -1 &&
tick_do_timer_boot_cpu  234 kernel/time/tick-common.c 			tick_do_timer_boot_cpu = -1;