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