gic_eoimode1_eoi_irq 1225 drivers/irqchip/irq-gic-v3.c .irq_eoi = gic_eoimode1_eoi_irq, gic_eoimode1_eoi_irq 1087 drivers/irqchip/irq-gic.c gic->chip.irq_eoi = gic_eoimode1_eoi_irq;