|
@@ -1561,7 +1561,7 @@ int kvm_vgic_inject_irq(struct kvm *kvm, int cpuid, unsigned int irq_num,
|
|
|
goto out;
|
|
|
}
|
|
|
|
|
|
- if (irq_num >= kvm->arch.vgic.nr_irqs)
|
|
|
+ if (irq_num >= min(kvm->arch.vgic.nr_irqs, 1020))
|
|
|
return -EINVAL;
|
|
|
|
|
|
vcpu_id = vgic_update_irq_pending(kvm, cpuid, irq_num, level);
|
|
@@ -2161,10 +2161,7 @@ int kvm_set_irq(struct kvm *kvm, int irq_source_id,
|
|
|
|
|
|
BUG_ON(!vgic_initialized(kvm));
|
|
|
|
|
|
- if (spi > kvm->arch.vgic.nr_irqs)
|
|
|
- return -EINVAL;
|
|
|
return kvm_vgic_inject_irq(kvm, 0, spi, level);
|
|
|
-
|
|
|
}
|
|
|
|
|
|
/* MSI not implemented yet */
|