vgic_valid_spi
if (!irq_is_ppi(irq) && !vgic_valid_spi(vcpu->kvm, irq))
if (!vgic_valid_spi(kvm, spi_id))
if (lr_signals_eoi_mi(val) && vgic_valid_spi(vcpu->kvm, intid))
if (deactivated && lr_signals_eoi_mi(val) && vgic_valid_spi(vcpu->kvm, intid)) {
vgic_valid_spi(vcpu->kvm, irq->intid) &&
if (!irq_is_ppi(intid) && !vgic_valid_spi(vcpu->kvm, intid))