timers_update_nohz  160 kernel/time/tick-internal.h static inline void timers_update_nohz(void) { }
timers_update_nohz  246 kernel/time/timer.c void timers_update_nohz(void)