Searched refs:tgt_tsc_khz (Results 1 – 1 of 1) sorted by relevance
3203 unsigned long flags, tgt_tsc_khz; in kvm_guest_time_update() local3229 tgt_tsc_khz = get_cpu_tsc_khz(); in kvm_guest_time_update()3230 if (unlikely(tgt_tsc_khz == 0)) { in kvm_guest_time_update()3265 tgt_tsc_khz = kvm_scale_tsc(tgt_tsc_khz, in kvm_guest_time_update()3267 tgt_tsc_khz = tgt_tsc_khz ? : 1; in kvm_guest_time_update()3270 if (unlikely(vcpu->hw_tsc_khz != tgt_tsc_khz)) { in kvm_guest_time_update()3271 kvm_get_time_scale(NSEC_PER_SEC, tgt_tsc_khz * 1000LL, in kvm_guest_time_update()3274 vcpu->hw_tsc_khz = tgt_tsc_khz; in kvm_guest_time_update()