tick_clock_notify  122 kernel/time/tick-internal.h static inline void tick_clock_notify(void) { }
tick_clock_notify 1374 kernel/time/tick-sched.c void tick_clock_notify(void)