Symbol: timers_update_nohz
kernel/time/tick-internal.h
159
extern void timers_update_nohz(void);
kernel/time/tick-sched.c
1528
timers_update_nohz();