|
@@ -767,6 +767,8 @@ static void svm_vcpu_load(struct kvm_vcpu *vcpu, int cpu)
|
|
rdtscll(tsc_this);
|
|
rdtscll(tsc_this);
|
|
delta = vcpu->arch.host_tsc - tsc_this;
|
|
delta = vcpu->arch.host_tsc - tsc_this;
|
|
svm->vmcb->control.tsc_offset += delta;
|
|
svm->vmcb->control.tsc_offset += delta;
|
|
|
|
+ if (is_nested(svm))
|
|
|
|
+ svm->nested.hsave->control.tsc_offset += delta;
|
|
vcpu->cpu = cpu;
|
|
vcpu->cpu = cpu;
|
|
kvm_migrate_timers(vcpu);
|
|
kvm_migrate_timers(vcpu);
|
|
svm->asid_generation = 0;
|
|
svm->asid_generation = 0;
|