clock_was_set     213 include/linux/hrtimer.h extern void clock_was_set(void);
clock_was_set     139 kernel/time.c  	clock_was_set();
clock_was_set     158 kernel/time/timekeeping.c 	clock_was_set();