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