Symbol: tick_clock_notify
kernel/time/tick-internal.h
127
static inline void tick_clock_notify(void) { }
kernel/time/tick-sched.c
1658
void tick_clock_notify(void)