|
@@ -2884,7 +2884,6 @@ static void nested_svm_set_tdp_cr3(struct kvm_vcpu *vcpu,
|
|
|
|
|
|
svm->vmcb->control.nested_cr3 = __sme_set(root);
|
|
|
mark_dirty(svm->vmcb, VMCB_NPT);
|
|
|
- svm_flush_tlb(vcpu, true);
|
|
|
}
|
|
|
|
|
|
static void nested_svm_inject_npf_exit(struct kvm_vcpu *vcpu,
|
|
@@ -5766,7 +5765,6 @@ static void svm_set_cr3(struct kvm_vcpu *vcpu, unsigned long root)
|
|
|
|
|
|
svm->vmcb->save.cr3 = __sme_set(root);
|
|
|
mark_dirty(svm->vmcb, VMCB_CR);
|
|
|
- svm_flush_tlb(vcpu, true);
|
|
|
}
|
|
|
|
|
|
static void set_tdp_cr3(struct kvm_vcpu *vcpu, unsigned long root)
|
|
@@ -5779,8 +5777,6 @@ static void set_tdp_cr3(struct kvm_vcpu *vcpu, unsigned long root)
|
|
|
/* Also sync guest cr3 here in case we live migrate */
|
|
|
svm->vmcb->save.cr3 = kvm_read_cr3(vcpu);
|
|
|
mark_dirty(svm->vmcb, VMCB_CR);
|
|
|
-
|
|
|
- svm_flush_tlb(vcpu, true);
|
|
|
}
|
|
|
|
|
|
static int is_disabled(void)
|