gic_eoi_irq      1209 drivers/irqchip/irq-gic-v3.c 	.irq_eoi		= gic_eoi_irq,
gic_eoi_irq       426 drivers/irqchip/irq-gic.c 	.irq_eoi		= gic_eoi_irq,