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;