Symbol: gicv5_iri_irq_write_pending_state
drivers/irqchip/irq-gic-v5.c
448
gicv5_iri_irq_write_pending_state(d, state, GICV5_HWIRQ_TYPE_SPI);
drivers/irqchip/irq-gic-v5.c
453
gicv5_iri_irq_write_pending_state(d, state, GICV5_HWIRQ_TYPE_LPI);