Symbol: tick_nohz_switch_to_nohz
kernel/time/tick-sched.c
1534
static void tick_nohz_switch_to_nohz(void)
kernel/time/tick-sched.c
1572
static inline void tick_nohz_switch_to_nohz(void) { }