sched_clock        64 arch/x86/kernel/tsc.c unsigned long long sched_clock(void)
sched_clock        38 kernel/sched_clock.c unsigned long long __attribute__((weak)) sched_clock(void)