irq_is_ppi
if (!(irq_is_ppi(vcpu->kvm, irq)))
if (!(irq_is_ppi(vcpu->kvm, irq) || irq_is_spi(vcpu->kvm, irq)))
if (!irq_is_ppi(vcpu->kvm, irq) &&
if (irq_is_ppi(vcpu->kvm, irq)) {
if (!irq_is_ppi(dev->kvm, val))
if (!irq_is_ppi(vcpu->kvm, intid) && !vgic_valid_spi(vcpu->kvm, intid))
#define irq_is_private(k, i) (irq_is_ppi(k, i) || irq_is_sgi(k, i))