It's not necessary to get again from the hardware DT the redistributor
informations. We already have it stored in the gic_info and the domain.
Use the latter to be consistent with the rest of the function.
Signed-off-by: Julien Grall <julien.gr...@citrix.com>
---
Changes in v2:
- Typo in the commit message
---
xen/arch/arm/gic-v3.c | 17 ++++-------------
1 file changed, 4 insertions(+), 13 deletions(-)
diff --git a/xen/arch/arm/gic-v3.c b/xen/arch/arm/gic-v3.c
index d1af147..c8b017f 100644
--- a/xen/arch/arm/gic-v3.c
+++ b/xen/arch/arm/gic-v3.c
@@ -1105,9 +1105,6 @@ static int gicv3_make_hwdom_dt_node(const struct domain
*d,
const void *compatible = NULL;
uint32_t len;
__be32 *new_cells, *tmp;
- uint32_t rd_stride = 0;
- uint32_t rd_count = 0;
-
int i, res = 0;
compatible = dt_get_property(gic, "compatible", &len);
@@ -1121,19 +1118,13 @@ static int gicv3_make_hwdom_dt_node(const struct domain
*d,
if ( res )
return res;
- res = dt_property_read_u32(gic, "redistributor-stride", &rd_stride);
- if ( !res )
- rd_stride = 0;
-
- res = dt_property_read_u32(gic, "#redistributor-regions", &rd_count);
- if ( !res )
- rd_count = 1;
-
- res = fdt_property_cell(fdt, "redistributor-stride", rd_stride);
+ res = fdt_property_cell(fdt, "redistributor-stride",
+ d->arch.vgic.rdist_stride);
if ( res )
return res;
- res = fdt_property_cell(fdt, "#redistributor-regions", rd_count);
+ res = fdt_property_cell(fdt, "#redistributor-regions",
+ d->arch.vgic.nr_regions);
if ( res )
return res;
--
2.4.3
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel
