tgt_tsc_khz      2371 arch/x86/kvm/x86.c 	unsigned long flags, tgt_tsc_khz;
tgt_tsc_khz      2396 arch/x86/kvm/x86.c 	tgt_tsc_khz = __this_cpu_read(cpu_tsc_khz);
tgt_tsc_khz      2397 arch/x86/kvm/x86.c 	if (unlikely(tgt_tsc_khz == 0)) {
tgt_tsc_khz      2432 arch/x86/kvm/x86.c 		tgt_tsc_khz = kvm_scale_tsc(v, tgt_tsc_khz);
tgt_tsc_khz      2434 arch/x86/kvm/x86.c 	if (unlikely(vcpu->hw_tsc_khz != tgt_tsc_khz)) {
tgt_tsc_khz      2435 arch/x86/kvm/x86.c 		kvm_get_time_scale(NSEC_PER_SEC, tgt_tsc_khz * 1000LL,
tgt_tsc_khz      2438 arch/x86/kvm/x86.c 		vcpu->hw_tsc_khz = tgt_tsc_khz;