|
@@ -177,6 +177,8 @@ void kvm_arch_destroy_vm(struct kvm *kvm)
|
|
{
|
|
{
|
|
int i;
|
|
int i;
|
|
|
|
|
|
|
|
+ kvm_vgic_destroy(kvm);
|
|
|
|
+
|
|
free_percpu(kvm->arch.last_vcpu_ran);
|
|
free_percpu(kvm->arch.last_vcpu_ran);
|
|
kvm->arch.last_vcpu_ran = NULL;
|
|
kvm->arch.last_vcpu_ran = NULL;
|
|
|
|
|
|
@@ -186,8 +188,6 @@ void kvm_arch_destroy_vm(struct kvm *kvm)
|
|
kvm->vcpus[i] = NULL;
|
|
kvm->vcpus[i] = NULL;
|
|
}
|
|
}
|
|
}
|
|
}
|
|
-
|
|
|
|
- kvm_vgic_destroy(kvm);
|
|
|
|
}
|
|
}
|
|
|
|
|
|
int kvm_vm_ioctl_check_extension(struct kvm *kvm, long ext)
|
|
int kvm_vm_ioctl_check_extension(struct kvm *kvm, long ext)
|