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)