GIC_DIST_BASE
fdt_add_gic(GIC_DIST_BASE, GIC_DIST_SIZE, GIC_REDIST_BASE,
error = vm_attach_vgic(ctx, GIC_DIST_BASE, GIC_DIST_SIZE,