diff --git a/xen/drivers/passthrough/arm/scmi_dt_maker.c b/xen/drivers/passthrough/arm/scmi_dt_maker.c
index 8e60a9b1114b..33587cab3466 100644
--- a/xen/drivers/passthrough/arm/scmi_dt_maker.c
+++ b/xen/drivers/passthrough/arm/scmi_dt_maker.c
@@ -25,7 +25,7 @@ struct scmi_phandle {
 
 LIST_HEAD(scmi_ph_list);
 
- int __init scmi_dt_make_shmem_node(struct kernel_info *kinfo)
+int __init scmi_dt_make_shmem_node(struct kernel_info *kinfo)
 {
     int res;
     void *fdt = kinfo->fdt;