irq_is_spi
if (!(irq_is_ppi(vcpu->kvm, irq) || irq_is_spi(vcpu->kvm, irq)))
bool __ret = irq_is_spi(k, i); \