running_clock 719 arch/powerpc/kernel/time.c unsigned long long running_clock(void) running_clock 479 kernel/sched/clock.c u64 __weak running_clock(void)