cpu_tsc_khz      1750 arch/x86/kvm/x86.c static DEFINE_PER_CPU(unsigned long, cpu_tsc_khz);
cpu_tsc_khz      2299 arch/x86/kvm/x86.c 	if (__this_cpu_read(cpu_tsc_khz)) {
cpu_tsc_khz      2300 arch/x86/kvm/x86.c 		kvm_get_time_scale(NSEC_PER_SEC, __this_cpu_read(cpu_tsc_khz) * 1000LL,
cpu_tsc_khz      2396 arch/x86/kvm/x86.c 	tgt_tsc_khz = __this_cpu_read(cpu_tsc_khz);
cpu_tsc_khz      6971 arch/x86/kvm/x86.c 	__this_cpu_write(cpu_tsc_khz, 0);
cpu_tsc_khz      6986 arch/x86/kvm/x86.c 	__this_cpu_write(cpu_tsc_khz, khz);
cpu_tsc_khz      7004 arch/x86/kvm/x86.c 		per_cpu(cpu_tsc_khz, cpu) = tsc_khz;