|
@@ -1866,7 +1866,7 @@ void kvm_arch_vcpu_load(struct kvm_vcpu *vcpu, int cpu)
|
|
}
|
|
}
|
|
|
|
|
|
kvm_x86_ops->vcpu_load(vcpu, cpu);
|
|
kvm_x86_ops->vcpu_load(vcpu, cpu);
|
|
- if (unlikely(vcpu->cpu != cpu)) {
|
|
|
|
|
|
+ if (unlikely(vcpu->cpu != cpu) || check_tsc_unstable()) {
|
|
/* Make sure TSC doesn't go backwards */
|
|
/* Make sure TSC doesn't go backwards */
|
|
s64 tsc_delta = !vcpu->arch.last_host_tsc ? 0 :
|
|
s64 tsc_delta = !vcpu->arch.last_host_tsc ? 0 :
|
|
native_read_tsc() - vcpu->arch.last_host_tsc;
|
|
native_read_tsc() - vcpu->arch.last_host_tsc;
|