running_clock      20 include/linux/sched/clock.h extern u64 running_clock(void);
running_clock     243 kernel/watchdog.c 	return running_clock() >> 30LL;  /* 2^30 ~= 10^9 */