clock_was_set 251 include/linux/hrtimer.h static inline void clock_was_set(void) { } clock_was_set 622 kernel/hrtimer.c void clock_was_set(void)