timers_update_nohz  155 kernel/time/tick-internal.h extern void timers_update_nohz(void);
timers_update_nohz 1219 kernel/time/tick-sched.c 		timers_update_nohz();