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