Symbol: gic_poke_irq
drivers/irqchip/irq-gic-v3.c
470
static void gic_poke_irq(struct irq_data *d, u32 offset)
drivers/irqchip/irq-gic.c
179
static void gic_poke_irq(struct irq_data *d, u32 offset)