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