tick_nohz_restart_sched_tick  870 kernel/time/tick-sched.c 		tick_nohz_restart_sched_tick(ts, ktime_get());
tick_nohz_restart_sched_tick 1144 kernel/time/tick-sched.c 	tick_nohz_restart_sched_tick(ts, now);