Searched refs:intcdev (Results 1 – 1 of 1) sorted by relevance
337 DeviceState *intcdev = DEVICE(&s->int_combiner); in exynos4210_init_board_irqs() local382 qdev_get_gpio_in(intcdev, in)); in exynos4210_init_board_irqs()422 qdev_connect_gpio_out(splitter, 0, qdev_get_gpio_in(intcdev, n)); in exynos4210_init_board_irqs()426 s->irq_table[n] = qdev_get_gpio_in(intcdev, n); in exynos4210_init_board_irqs()