diff --git a/src/arch/armv8/armv8-a/cpu.c b/src/arch/armv8/armv8-a/cpu.c
index 195d211a..14b3e7ec 100644
--- 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);
     }