tick_nohz_start_idle 1008 kernel/time/tick-sched.c 	tick_nohz_start_idle(ts);
tick_nohz_start_idle 1026 kernel/time/tick-sched.c 		tick_nohz_start_idle(ts);