clock_was_set_delayed  328 include/linux/hrtimer.h static inline void clock_was_set_delayed(void) { }
clock_was_set_delayed  755 kernel/time/hrtimer.c void clock_was_set_delayed(void)