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) { }