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