diff options
Diffstat (limited to 'include/bl31/services/psci.h')
| -rw-r--r-- | include/bl31/services/psci.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/include/bl31/services/psci.h b/include/bl31/services/psci.h index 570fe5b8..b6e272c3 100644 --- a/include/bl31/services/psci.h +++ b/include/bl31/services/psci.h @@ -190,6 +190,7 @@ extern void psci_system_reset(void); extern int psci_cpu_on(unsigned long, unsigned long, unsigned long); +extern void __dead2 psci_power_down_wfi(void); extern void psci_aff_on_finish_entry(void); extern void psci_aff_suspend_finish_entry(void); extern void psci_register_spd_pm_hook(const spd_pm_ops_t *); |