gic_eoimode1_mask_irq 1223 drivers/irqchip/irq-gic-v3.c 	.irq_mask		= gic_eoimode1_mask_irq,
gic_eoimode1_mask_irq 1086 drivers/irqchip/irq-gic.c 		gic->chip.irq_mask = gic_eoimode1_mask_irq;