Symbol: PPI_ACTIVE
drivers/irqchip/irq-gic-v5.c
302
case PPI_ACTIVE:
drivers/irqchip/irq-gic-v5.c
332
case PPI_ACTIVE:
drivers/irqchip/irq-gic-v5.c
361
*state = !!(read_ppi_sysreg_s(d->hwirq, PPI_ACTIVE) & hwirq_id_bit);
drivers/irqchip/irq-gic-v5.c
426
write_ppi_sysreg_s(d->hwirq, state, PPI_ACTIVE);