Searched refs:hw_tsc_khz (Results 1 – 3 of 3) sorted by relevance
864 unsigned int hw_tsc_khz; member
2103 entry->eax = vcpu->arch.hw_tsc_khz; in kvm_xen_update_tsc_info()
3217 if (unlikely(vcpu->hw_tsc_khz != tgt_tsc_khz)) { in kvm_guest_time_update()3221 vcpu->hw_tsc_khz = tgt_tsc_khz; in kvm_guest_time_update()