Symbol: write_ppi_sysreg_s
drivers/irqchip/irq-gic-v5.c
409
write_ppi_sysreg_s(d->hwirq, state, PPI_PENDING);
drivers/irqchip/irq-gic-v5.c
412
write_ppi_sysreg_s(d->hwirq, state, PPI_ACTIVE);