__set_cyc2ns_scale  169 arch/x86/kernel/tsc.c 		__set_cyc2ns_scale(khz, cpu, tsc_now);
__set_cyc2ns_scale  183 arch/x86/kernel/tsc.c 	__set_cyc2ns_scale(tsc_khz, smp_processor_id(), rdtsc());