tick_nohz_stop_idle 1182 kernel/time/tick-sched.c 		tick_nohz_stop_idle(ts, now);
tick_nohz_stop_idle 1259 kernel/time/tick-sched.c 		tick_nohz_stop_idle(ts, now);