tick_nohz_stop_tick  828 kernel/time/tick-sched.c 		tick_nohz_stop_tick(ts, cpu);
tick_nohz_stop_tick  956 kernel/time/tick-sched.c 		tick_nohz_stop_tick(ts, cpu);