__tick_nohz_idle_restart_tick 1153 kernel/time/tick-sched.c 		__tick_nohz_idle_restart_tick(ts, ktime_get());
__tick_nohz_idle_restart_tick 1185 kernel/time/tick-sched.c 		__tick_nohz_idle_restart_tick(ts, now);