Symbol: clock_was_set_delayed
kernel/time/tick-internal.h
189
void clock_was_set_delayed(void);
kernel/time/timekeeping.c
2396
clock_was_set_delayed();