gic_mask_irq      336 drivers/irqchip/irq-gic-v3.c 	gic_mask_irq(d);
gic_mask_irq     1151 drivers/irqchip/irq-gic-v3.c 		gic_mask_irq(d);
gic_mask_irq     1207 drivers/irqchip/irq-gic-v3.c 	.irq_mask		= gic_mask_irq,
gic_mask_irq      209 drivers/irqchip/irq-gic.c 	gic_mask_irq(d);
gic_mask_irq      424 drivers/irqchip/irq-gic.c 	.irq_mask		= gic_mask_irq,
gic_mask_irq      287 drivers/irqchip/irq-mips-gic.c 	.irq_mask		=	gic_mask_irq,
gic_mask_irq      298 drivers/irqchip/irq-mips-gic.c 	.irq_mask		=	gic_mask_irq,