ctrl_num         1142 drivers/irqchip/irq-s3c24xx.c 	unsigned int ctrl_num = hw / 32;
ctrl_num         1144 drivers/irqchip/irq-s3c24xx.c 	struct s3c_irq_intc *intc = s3c_intc[ctrl_num];