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))