Symbol: GICV5_HWIRQ_TYPE_PPI
drivers/irqchip/irq-gic-v5.c
233
gicv5_hwirq_eoi(d->hwirq, GICV5_HWIRQ_TYPE_PPI);
drivers/irqchip/irq-gic-v5.c
615
case GICV5_HWIRQ_TYPE_PPI:
drivers/irqchip/irq-gic-v5.c
639
GICV5_HWIRQ_TYPE_PPI);
drivers/irqchip/irq-gic-v5.c
695
if (hwirq_type != GICV5_HWIRQ_TYPE_PPI)
drivers/irqchip/irq-gic-v5.c
904
case GICV5_HWIRQ_TYPE_PPI: