Symbol: is_timers_nohz_active
kernel/time/timer.c
2407
if (is_timers_nohz_active())
kernel/time/timer.c
589
if (!is_timers_nohz_active() || timer->flags & TIMER_DEFERRABLE)