set_cyc2ns_scale 1000 arch/x86/kernel/tsc.c 		set_cyc2ns_scale(tsc_khz, freq->policy->cpu, rdtsc());
set_cyc2ns_scale 1350 arch/x86/kernel/tsc.c 		set_cyc2ns_scale(tsc_khz, cpu, tsc_stop);