irq_is_ppi       1130 virt/kvm/arm/arch_timer.c 	if (!(irq_is_ppi(irq)))
irq_is_ppi        720 virt/kvm/arm/pmu.c 		if (!irq_is_ppi(irq) && !vgic_valid_spi(vcpu->kvm, irq))
irq_is_ppi        781 virt/kvm/arm/pmu.c 		if (irq_is_ppi(irq)) {
irq_is_ppi        810 virt/kvm/arm/pmu.c 		if (!(irq_is_ppi(irq) || irq_is_spi(irq)))
irq_is_ppi        596 virt/kvm/arm/vgic/vgic.c 	if (!irq_is_ppi(intid) && !vgic_valid_spi(vcpu->kvm, intid))