clock_was_set_delayed  320 include/linux/hrtimer.h extern void clock_was_set_delayed(void);
clock_was_set_delayed  889 kernel/time/hrtimer.c 	clock_was_set_delayed();
clock_was_set_delayed 2128 kernel/time/timekeeping.c 		clock_was_set_delayed();