diff options
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 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(); |