|
@@ -471,6 +471,7 @@ void kvm_arch_vcpu_destroy(struct kvm_vcpu *vcpu)
|
|
|
{
|
|
|
VCPU_EVENT(vcpu, 3, "%s", "free cpu");
|
|
|
trace_kvm_s390_destroy_vcpu(vcpu->vcpu_id);
|
|
|
+ kvm_s390_clear_local_irqs(vcpu);
|
|
|
kvm_clear_async_pf_completion_queue(vcpu);
|
|
|
if (!kvm_is_ucontrol(vcpu->kvm)) {
|
|
|
clear_bit(63 - vcpu->vcpu_id,
|
|
@@ -520,6 +521,7 @@ void kvm_arch_destroy_vm(struct kvm *kvm)
|
|
|
if (!kvm_is_ucontrol(kvm))
|
|
|
gmap_free(kvm->arch.gmap);
|
|
|
kvm_s390_destroy_adapters(kvm);
|
|
|
+ kvm_s390_clear_float_irqs(kvm);
|
|
|
}
|
|
|
|
|
|
/* Section: vcpu related */
|