tick_nohz_switch_to_nohz  519 kernel/time/tick-sched.c static void tick_nohz_switch_to_nohz(void)
tick_nohz_switch_to_nohz  557 kernel/time/tick-sched.c static inline void tick_nohz_switch_to_nohz(void) { }