gic_eoimode1_eoi_irq 512 drivers/irqchip/irq-gic-v3.c static void gic_eoimode1_eoi_irq(struct irq_data *d) gic_eoimode1_eoi_irq 232 drivers/irqchip/irq-gic.c static void gic_eoimode1_eoi_irq(struct irq_data *d)