tick_nohz_idle_restart_tick  151 include/linux/tick.h static inline void tick_nohz_idle_restart_tick(void) { }
tick_nohz_idle_restart_tick 1148 kernel/time/tick-sched.c void tick_nohz_idle_restart_tick(void)