Searched refs:ext_gic (Results 1 – 2 of 2) sorted by relevance
334 DeviceState *extgicdev = DEVICE(&s->ext_gic); in exynos4210_init_board_irqs()598 qdev_prop_set_uint32(DEVICE(&s->ext_gic), "num-cpu", EXYNOS4210_NCPUS); in exynos4210_realize()599 busdev = SYS_BUS_DEVICE(&s->ext_gic); in exynos4210_realize()624 sysbus_connect_irq(busdev, n, qdev_get_gpio_in(DEVICE(&s->ext_gic), n)); in exynos4210_realize()826 object_initialize_child(obj, "ext-gic", &s->ext_gic, TYPE_EXYNOS4210_GIC); in exynos4210_init()
102 Exynos4210GicState ext_gic; member