summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEtienne Carriere <etienne.carriere@st.com>2017-06-07 16:42:42 +0200
committerEtienne Carriere <etienne.carriere@st.com>2017-06-23 09:38:11 +0200
commitaa8d5f88e04ba6211e345ab7a3864e2d9fec682e (patch)
tree9dc2210dcc9c3c04679c839a570f1ad020377f47
parent1496b4895e4f5eb921716103bef13329aab7d92e (diff)
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>
-rw-r--r--lib/psci/psci_system_off.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/psci/psci_system_off.c b/lib/psci/psci_system_off.c
index f5237919..4a55248d 100644
--- 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();