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