Symbol: irq_is_ppi
arch/arm64/kvm/arch_timer.c
1606
if (!(irq_is_ppi(irq)))
arch/arm64/kvm/pmu-emul.c
1145
if (!(irq_is_ppi(irq) || irq_is_spi(irq)))
arch/arm64/kvm/pmu-emul.c
942
if (!irq_is_ppi(irq) && !vgic_valid_spi(vcpu->kvm, irq))
arch/arm64/kvm/pmu-emul.c
994
if (irq_is_ppi(irq)) {
arch/arm64/kvm/vgic/vgic-kvm-device.c
642
if (!irq_is_ppi(val))
arch/arm64/kvm/vgic/vgic.c
688
if (!irq_is_ppi(intid) && !vgic_valid_spi(vcpu->kvm, intid))