diff options
author | Etienne Carriere <etienne.carriere@st.com> | 2017-06-07 16:42:42 +0200 |
---|---|---|
committer | Etienne Carriere <etienne.carriere@st.com> | 2017-06-23 09:38:11 +0200 |
commit | aa8d5f88e04ba6211e345ab7a3864e2d9fec682e (patch) | |
tree | 9dc2210dcc9c3c04679c839a570f1ad020377f47 /lib | |
parent | 1496b4895e4f5eb921716103bef13329aab7d92e (diff) | |
download | arm-trusted-firmware-aa8d5f88e04ba6211e345ab7a3864e2d9fec682e.tar.gz |
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>
Diffstat (limited to 'lib')
-rw-r--r-- | lib/psci/psci_system_off.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/psci/psci_system_off.c b/lib/psci/psci_system_off.c index f5237919f..4a55248db 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(); |