Symbol: PPI_PENDING
drivers/irqchip/irq-gic-v5.c
299
case PPI_PENDING:
drivers/irqchip/irq-gic-v5.c
319
case PPI_PENDING:
drivers/irqchip/irq-gic-v5.c
358
*state = !!(read_ppi_sysreg_s(d->hwirq, PPI_PENDING) & hwirq_id_bit);
drivers/irqchip/irq-gic-v5.c
423
write_ppi_sysreg_s(d->hwirq, state, PPI_PENDING);