gic_poke_irq 308 drivers/irqchip/irq-gic-v3.c static void gic_poke_irq(struct irq_data *d, u32 offset) gic_poke_irq 190 drivers/irqchip/irq-gic.c static void gic_poke_irq(struct irq_data *d, u32 offset)