Searched refs:extgicdev (Results 1 – 1 of 1) sorted by relevance
336 DeviceState *extgicdev = DEVICE(&s->ext_gic); in exynos4210_init_board_irqs() local397 qdev_get_gpio_in(extgicdev, irq_id - 32)); in exynos4210_init_board_irqs()424 qdev_get_gpio_in(extgicdev, irq_id - 32)); in exynos4210_init_board_irqs()