|
@@ -50,8 +50,10 @@ void vgic_v2_process_maintenance(struct kvm_vcpu *vcpu)
|
|
|
|
|
|
WARN_ON(cpuif->vgic_lr[lr] & GICH_LR_STATE);
|
|
|
|
|
|
- kvm_notify_acked_irq(vcpu->kvm, 0,
|
|
|
- intid - VGIC_NR_PRIVATE_IRQS);
|
|
|
+ /* Only SPIs require notification */
|
|
|
+ if (vgic_valid_spi(vcpu->kvm, intid))
|
|
|
+ kvm_notify_acked_irq(vcpu->kvm, 0,
|
|
|
+ intid - VGIC_NR_PRIVATE_IRQS);
|
|
|
}
|
|
|
}
|
|
|
|