fix(arch/armv8a): use int32_t for psci_power_down return

This commit changes the return type of `psci_power_down` from `int64_t` to `int32_t`. Signed-off-by: João Peixoto <[email protected]>
bao-project · Oct 29, 2024 · 12c0cfd · 12c0cfd
1 parent 19d060f
commit 12c0cfd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/arch/armv8/armv8-a/cpu.c b/src/arch/armv8/armv8-a/cpu.c
@@ -37,7 +37,7 @@ void cpu_arch_profile_standby()
 
 void cpu_arch_profile_powerdown()
 {
-    int64_t err = psci_power_down(PSCI_WAKEUP_IDLE);
+    int32_t err = psci_power_down(PSCI_WAKEUP_IDLE);
     if (err) {
         ERROR("PSCI cpu%d power down failed with error %ld", cpu()->id, err);
     }