Symbol: GICV5_HWIRQ_TYPE_PPI
drivers/irqchip/irq-gic-v5.c
219
gicv5_hwirq_eoi(d->hwirq, GICV5_HWIRQ_TYPE_PPI);
drivers/irqchip/irq-gic-v5.c
619
case GICV5_HWIRQ_TYPE_PPI:
drivers/irqchip/irq-gic-v5.c
643
GICV5_HWIRQ_TYPE_PPI);
drivers/irqchip/irq-gic-v5.c
699
if (hwirq_type != GICV5_HWIRQ_TYPE_PPI)
drivers/irqchip/irq-gic-v5.c
924
case GICV5_HWIRQ_TYPE_PPI:
include/kvm/arm_arch_timer.h
132
FIELD_PREP(GICV5_HWIRQ_TYPE, GICV5_HWIRQ_TYPE_PPI)))
include/kvm/arm_vgic.h
67
__ret = is_v5_type(GICV5_HWIRQ_TYPE_PPI, (i)); \