Searched refs:extcdev (Results 1 – 1 of 1) sorted by relevance
338 DeviceState *extcdev = DEVICE(&s->ext_combiner); in exynos4210_init_board_irqs() local384 qdev_get_gpio_in(extcdev, in)); in exynos4210_init_board_irqs()