|
@@ -7410,10 +7410,12 @@ void kvm_put_guest_fpu(struct kvm_vcpu *vcpu)
|
|
|
|
|
|
|
|
void kvm_arch_vcpu_free(struct kvm_vcpu *vcpu)
|
|
void kvm_arch_vcpu_free(struct kvm_vcpu *vcpu)
|
|
|
{
|
|
{
|
|
|
|
|
+ void *wbinvd_dirty_mask = vcpu->arch.wbinvd_dirty_mask;
|
|
|
|
|
+
|
|
|
kvmclock_reset(vcpu);
|
|
kvmclock_reset(vcpu);
|
|
|
|
|
|
|
|
- free_cpumask_var(vcpu->arch.wbinvd_dirty_mask);
|
|
|
|
|
kvm_x86_ops->vcpu_free(vcpu);
|
|
kvm_x86_ops->vcpu_free(vcpu);
|
|
|
|
|
+ free_cpumask_var(wbinvd_dirty_mask);
|
|
|
}
|
|
}
|
|
|
|
|
|
|
|
struct kvm_vcpu *kvm_arch_vcpu_create(struct kvm *kvm,
|
|
struct kvm_vcpu *kvm_arch_vcpu_create(struct kvm *kvm,
|