Searched refs:tsc_always_catchup (Results 1 – 2 of 2) sorted by relevance
678 bool tsc_always_catchup; member
2121 vcpu->arch.tsc_always_catchup = 1; in set_tsc_khz()9289 if (unlikely(vcpu->arch.tsc_always_catchup)) in vcpu_enter_guest()