Searched refs:hw_tsc_khz (Results 1 – 2 of 2) sorted by relevance
444 unsigned int hw_tsc_khz; member
1653 if (unlikely(vcpu->hw_tsc_khz != this_tsc_khz)) { in kvm_guest_time_update()1657 vcpu->hw_tsc_khz = this_tsc_khz; in kvm_guest_time_update()