@@ -6,8 +6,9 @@
extern int psci_invoke(unsigned long function_id, unsigned long arg0,
unsigned long arg1, unsigned long arg2);
extern int psci_cpu_on(unsigned long cpuid, unsigned long entry_point);
-extern void psci_sys_reset(void);
+extern void psci_system_reset(void);
extern int cpu_psci_cpu_boot(unsigned int cpu);
extern void cpu_psci_cpu_die(void);
+extern void psci_system_off(void);
#endif /* _ASMARM_PSCI_H_ */
@@ -48,7 +48,13 @@ void cpu_psci_cpu_die(void)
printf("CPU%d unable to power off (error = %d)\n", smp_processor_id(), err);
}
-void psci_sys_reset(void)
+void psci_system_reset(void)
{
psci_invoke(PSCI_0_2_FN_SYSTEM_RESET, 0, 0, 0);
}
+
+void psci_system_off(void)
+{
+ int err = psci_invoke(PSCI_0_2_FN_SYSTEM_OFF, 0, 0, 0);
+ printf("CPU%d unable to do system off (error = %d)\n", smp_processor_id(), err);
+}