There's no need to pass a buffer, the property is empty.

Signed-off-by: Frediano Ziglio <frediano.ziglio@cloud.com>
---
 xen/arch/arm/efi/efi-boot.h | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/xen/arch/arm/efi/efi-boot.h b/xen/arch/arm/efi/efi-boot.h
index 6323db547b..f61fb24f0f 100644
--- a/xen/arch/arm/efi/efi-boot.h
+++ b/xen/arch/arm/efi/efi-boot.h
@@ -61,7 +61,6 @@ static int __init setup_chosen_node(void *fdt, int *addr_cells, int *size_cells)
     int node;
     const struct fdt_property *prop;
     int len;
-    uint32_t val;
 
     if ( !fdt || !addr_cells || !size_cells )
         return -1;
@@ -103,8 +102,7 @@ static int __init setup_chosen_node(void *fdt, int *addr_cells, int *size_cells)
     prop = fdt_get_property(fdt, node, "ranges", &len);
     if ( !prop )
     {
-        val = cpu_to_fdt32(0);
-        if ( fdt_setprop(fdt, node, "ranges", &val, 0) )
+        if ( fdt_setprop(fdt, node, "ranges", NULL, 0) )
             return -1;
     }
     else if ( fdt32_to_cpu(prop->len) )
-- 
2.43.0

On 21/07/2025 11:07, Frediano Ziglio wrote:
> There's no need to pass a buffer, the property is empty.
> 
> Signed-off-by: Frediano Ziglio <frediano.ziglio@cloud.com>
Reviewed-by: Michal Orzel <michal.orzel@amd.com>

~Michal