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];