Symbol: __set_cyc2ns_scale
arch/x86/kernel/tsc.c
196
__set_cyc2ns_scale(khz, cpu, tsc_now);
arch/x86/kernel/tsc.c
210
__set_cyc2ns_scale(tsc_khz, smp_processor_id(), rdtsc());