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