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)