diff options
| author | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | 2018-07-16 23:19:25 +0100 |
|---|---|---|
| committer | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | 2018-07-24 09:19:04 +0100 |
| commit | 621d64f89b865aeb1cc3bb3b0f49bd2aec79efdb (patch) | |
| tree | 1314be261054b337ec1fd7d1b89c672663f8a5ee /lib/psci/psci_private.h | |
| parent | 2bc3dba924058f92e22c3b75da7d987ecdf5875f (diff) | |
| download | platform_external_arm-trusted-firmware-621d64f89b865aeb1cc3bb3b0f49bd2aec79efdb.tar.gz platform_external_arm-trusted-firmware-621d64f89b865aeb1cc3bb3b0f49bd2aec79efdb.tar.bz2 platform_external_arm-trusted-firmware-621d64f89b865aeb1cc3bb3b0f49bd2aec79efdb.zip | |
PSCI: Fix MISRA defects in ON/OFF/SUSPEND/SYSTEM_OFF
Fix violations of MISRA C-2012 Rules 8.13, 10.1, 10.3, 17.7 and 20.7.
Change-Id: I6f45a1069b742aebf9e1d6a403717b1522083f51
Signed-off-by: Antonio Nino Diaz <antonio.ninodiaz@arm.com>
Diffstat (limited to 'lib/psci/psci_private.h')
| -rw-r--r-- | lib/psci/psci_private.h | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/lib/psci/psci_private.h b/lib/psci/psci_private.h index 7eb2fc0bc..ac99876f5 100644 --- a/lib/psci/psci_private.h +++ b/lib/psci/psci_private.h @@ -295,22 +295,20 @@ void prepare_cpu_pwr_dwn(unsigned int power_level); /* Private exported functions from psci_on.c */ int psci_cpu_on_start(u_register_t target_cpu, - entry_point_info_t *ep); + const entry_point_info_t *ep); -void psci_cpu_on_finish(unsigned int cpu_idx, - psci_power_state_t *state_info); +void psci_cpu_on_finish(int cpu_idx, const psci_power_state_t *state_info); /* Private exported functions from psci_off.c */ int psci_do_cpu_off(unsigned int end_pwrlvl); /* Private exported functions from psci_suspend.c */ -void psci_cpu_suspend_start(entry_point_info_t *ep, +void psci_cpu_suspend_start(const entry_point_info_t *ep, unsigned int end_pwrlvl, psci_power_state_t *state_info, unsigned int is_power_down_state); -void psci_cpu_suspend_finish(unsigned int cpu_idx, - psci_power_state_t *state_info); +void psci_cpu_suspend_finish(int cpu_idx, const psci_power_state_t *state_info); /* Private exported functions from psci_helpers.S */ void psci_do_pwrdown_cache_maintenance(unsigned int pwr_level); @@ -319,7 +317,7 @@ void psci_do_pwrup_cache_maintenance(void); /* Private exported functions from psci_system_off.c */ void __dead2 psci_system_off(void); void __dead2 psci_system_reset(void); -int psci_system_reset2(uint32_t reset_type, u_register_t cookie); +u_register_t psci_system_reset2(uint32_t reset_type, u_register_t cookie); /* Private exported functions from psci_stat.c */ void psci_stats_update_pwr_down(unsigned int end_pwrlvl, |