trivial: return ret when generating vcpu node

Signed-off-by: Chris Guikema <[email protected]>
seL4 · May 1, 2022 · 9de0630 · 9de0630
1 parent 1058f0f
commit 9de0630
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libsel4vmmplatsupport/src/arch/arm/guest_vcpu_util.c b/libsel4vmmplatsupport/src/arch/arm/guest_vcpu_util.c
@@ -110,5 +110,5 @@ int fdt_generate_plat_vcpu_node(vm_t *vm, void *fdt)
     if (vm->num_vcpus > 1) {
         ret = generate_psci_node(fdt, root_offset);
     }
-    return 0;
+    return ret;
 }