gic_write_eoir    509 drivers/irqchip/irq-gic-v3.c 	gic_write_eoir(gic_irq(d));
gic_write_eoir    590 drivers/irqchip/irq-gic-v3.c 		gic_write_eoir(irqnr);
gic_write_eoir    603 drivers/irqchip/irq-gic-v3.c 		gic_write_eoir(irqnr);
gic_write_eoir    644 drivers/irqchip/irq-gic-v3.c 			gic_write_eoir(irqnr);
gic_write_eoir    656 drivers/irqchip/irq-gic-v3.c 		gic_write_eoir(irqnr);