tick_nohz_restart_sched_tick 120 include/linux/tick.h static inline void tick_nohz_restart_sched_tick(void) { } tick_nohz_restart_sched_tick 385 kernel/time/tick-sched.c void tick_nohz_restart_sched_tick(void)