355         if (s->irq_table[n]) {  in exynos4210_init_board_irqs()
380             s->irq_table[in] = qdev_get_gpio_in(splitter, 0);  in exynos4210_init_board_irqs()
407         if (s->irq_table[n]) {  in exynos4210_init_board_irqs()
421             s->irq_table[n] = qdev_get_gpio_in(splitter, 0);  in exynos4210_init_board_irqs()
426             s->irq_table[n] = qdev_get_gpio_in(intcdev, n);  in exynos4210_init_board_irqs()
672                           s->irq_table[exynos4210_get_irq(22, 0)],  in exynos4210_realize()
673                           s->irq_table[exynos4210_get_irq(22, 1)],  in exynos4210_realize()
674                           s->irq_table[exynos4210_get_irq(22, 2)],  in exynos4210_realize()
675                           s->irq_table[exynos4210_get_irq(22, 3)],  in exynos4210_realize()
676                           s->irq_table[exynos4210_get_irq(22, 4)],  in exynos4210_realize()
680                           s->irq_table[exynos4210_get_irq(23, 0)],  in exynos4210_realize()
681                           s->irq_table[exynos4210_get_irq(23, 1)],  in exynos4210_realize()
691                 s->irq_table[exynos4210_get_irq(1, 4 + n)]);  in exynos4210_realize()
695             s->irq_table[exynos4210_get_irq(51, 0)]);  in exynos4210_realize()
697             s->irq_table[exynos4210_get_irq(35, 3)]);  in exynos4210_realize()
706             i2c_irq = s->irq_table[exynos4210_get_irq(EXYNOS4210_I2C_INTG, n)];  in exynos4210_realize()
708             i2c_irq = s->irq_table[exynos4210_get_irq(EXYNOS4210_HDMI_INTG, 1)];  in exynos4210_realize()
723                   s->irq_table[exynos4210_get_irq(EXYNOS4210_UART_INT_GRP, 0)]);  in exynos4210_realize()
727                   s->irq_table[exynos4210_get_irq(EXYNOS4210_UART_INT_GRP, 1)]);  in exynos4210_realize()
731                   s->irq_table[exynos4210_get_irq(EXYNOS4210_UART_INT_GRP, 2)]);  in exynos4210_realize()
735                   s->irq_table[exynos4210_get_irq(EXYNOS4210_UART_INT_GRP, 3)]);  in exynos4210_realize()
761         sysbus_connect_irq(busdev, 0, s->irq_table[exynos4210_get_irq(29, n)]);  in exynos4210_realize()
779         sysbus_connect_irq(busdev, n, s->irq_table[exynos4210_get_irq(11, n)]);  in exynos4210_realize()
783             s->irq_table[exynos4210_get_irq(28, 3)]);  in exynos4210_realize()
788                             s->irq_table[exynos4210_get_irq(21, 0)],  in exynos4210_realize()
792                             s->irq_table[exynos4210_get_irq(21, 1)],  in exynos4210_realize()
796                             s->irq_table[exynos4210_get_irq(20, 1)],  in exynos4210_realize()