Symbol: gicv5_lpi_irq_write_pending_state
drivers/irqchip/irq-gic-v5.c
478
gicv5_lpi_irq_write_pending_state(d, state);
drivers/irqchip/irq-gic-v5.c
788
gicv5_lpi_irq_write_pending_state(d, false);