tsc_enable_sched_clock 1466 arch/x86/kernel/tsc.c 	tsc_enable_sched_clock();
tsc_enable_sched_clock 1490 arch/x86/kernel/tsc.c 		tsc_enable_sched_clock();