s3c_irq_mask      100 drivers/irqchip/irq-s3c24xx.c 			s3c_irq_mask(irq_get_irq_data(irqno));
s3c_irq_mask      260 drivers/irqchip/irq-s3c24xx.c 	.irq_mask	= s3c_irq_mask,
s3c_irq_mask      268 drivers/irqchip/irq-s3c24xx.c 	.irq_mask	= s3c_irq_mask,
s3c_irq_mask      276 drivers/irqchip/irq-s3c24xx.c 	.irq_mask	= s3c_irq_mask,
s3c_irq_mask      286 drivers/irqchip/irq-s3c24xx.c 	.irq_mask	= s3c_irq_mask,