Searched refs:gic_addr (Results 1 – 1 of 1) sorted by relevance
200 uint32_t gic_addr = is_pb ? 0x1e000000 : 0x10040000; in realview_init() local202 dev = sysbus_create_simple(TYPE_REALVIEW_GIC, gic_addr, cpu_irq[0]); in realview_init()