Searched refs:extgicdev (Results 1 – 1 of 1) sorted by relevance
338 DeviceState *extgicdev = DEVICE(&s->ext_gic); in exynos4210_init_board_irqs() local399 qdev_get_gpio_in(extgicdev, in exynos4210_init_board_irqs()427 qdev_get_gpio_in(extgicdev, in exynos4210_init_board_irqs()