PSCI: use same function prototype as in header file

Signed-off-by: Yann Gautier <yann.gautier@st.com>
Signed-off-by: Etienne Carriere <etienne.carriere@st.com>

diff --git a/lib/psci/psci_system_off.c b/lib/psci/psci_system_off.c
index f5237919f23df32d23adc9638b3a892ef5bc8ba2..4a55248db86e25e955087373c4239d88fe642379 100644 (file)
--- a/lib/psci/psci_system_off.c
+++ b/lib/psci/psci_system_off.c
@@ -12,7 +12,7 @@
 #include <platform.h>
 #include "psci_private.h"
 
-void psci_system_off(void)
+void __dead2 psci_system_off(void)
 {
        psci_print_power_domain_map();
 
@@ -31,7 +31,7 @@ void psci_system_off(void)
        /* This function does not return. We should never get here */
 }
 
-void psci_system_reset(void)
+void __dead2 psci_system_reset(void)
 {
        psci_print_power_domain_map();