Searched refs:tgt_tsc_khz (Results 1 - 1 of 1) sorted by relevance

/linux-master/arch/x86/kvm/
H A Dx86.c3217 unsigned long flags, tgt_tsc_khz; local
3254 tgt_tsc_khz = get_cpu_tsc_khz();
3255 if (unlikely(tgt_tsc_khz == 0)) {
3290 tgt_tsc_khz = kvm_scale_tsc(tgt_tsc_khz,
3293 if (unlikely(vcpu->hw_tsc_khz != tgt_tsc_khz)) {
3294 kvm_get_time_scale(NSEC_PER_SEC, tgt_tsc_khz * 1000LL,
3297 vcpu->hw_tsc_khz = tgt_tsc_khz;

Completed in 184 milliseconds