@@ -1172,8 +1172,10 @@ static int gicv3_make_hwdom_dt_node(const struct domain *d,
res = fdt_property(fdt, "reg", new_cells, len);
xfree(new_cells);
+ if ( res )
+ return res;
- return res;
+ return gicv3_its_make_dt_nodes(NULL, d, gic, fdt);
}
static const hw_irq_controller gicv3_host_irq_type = {
@@ -220,6 +220,14 @@ static inline void vgic_v3_its_free_domain(struct domain *d)
#endif /* CONFIG_HAS_ITS */
+static inline int gicv3_its_make_dt_nodes(struct list_head *its_list,
+ const struct domain *d,
+ const struct dt_device_node *gic,
+ void *fdt)
+{
+ return 0;
+}
+
#endif
/*
When creating the device tree for a domain using an emulated GICv3, we will later need to add the respective ITS subnodes as well. Prepare a stub function to be later filled with the actual code. Signed-off-by: Andre Przywara <andre.przywara@arm.com> --- xen/arch/arm/gic-v3.c | 4 +++- xen/include/asm-arm/gic_v3_its.h | 8 ++++++++ 2 files changed, 11 insertions(+), 1 deletion(-)