GIC_REDIST_BASE
fdt_add_gic(GIC_DIST_BASE, GIC_DIST_SIZE, GIC_REDIST_BASE,
GIC_REDIST_BASE, GIC_REDIST_SIZE(guest_ncpus));