tick_nohz_stop_idle  128 include/linux/tick.h static inline void tick_nohz_stop_idle(int cpu) { }
tick_nohz_stop_idle  158 kernel/time/tick-sched.c void tick_nohz_stop_idle(int cpu)