1532ed618SSoby Mathew /* 29fb8af33SRoberto Vargas * Copyright (c) 2013-2018, ARM Limited and Contributors. All rights reserved. 3532ed618SSoby Mathew * 482cb2c1aSdp-arm * SPDX-License-Identifier: BSD-3-Clause 5532ed618SSoby Mathew */ 6532ed618SSoby Mathew 797373c33SAntonio Nino Diaz #ifndef PSCI_PRIVATE_H 897373c33SAntonio Nino Diaz #define PSCI_PRIVATE_H 9532ed618SSoby Mathew 10532ed618SSoby Mathew #include <arch.h> 11*4829df83SAntonio Nino Diaz #include <arch_helpers.h> 12532ed618SSoby Mathew #include <bakery_lock.h> 13532ed618SSoby Mathew #include <bl_common.h> 14532ed618SSoby Mathew #include <cpu_data.h> 15532ed618SSoby Mathew #include <psci.h> 16532ed618SSoby Mathew #include <spinlock.h> 17532ed618SSoby Mathew 18532ed618SSoby Mathew /* 19532ed618SSoby Mathew * The PSCI capability which are provided by the generic code but does not 20532ed618SSoby Mathew * depend on the platform or spd capabilities. 21532ed618SSoby Mathew */ 22532ed618SSoby Mathew #define PSCI_GENERIC_CAP \ 23532ed618SSoby Mathew (define_psci_cap(PSCI_VERSION) | \ 24532ed618SSoby Mathew define_psci_cap(PSCI_AFFINITY_INFO_AARCH64) | \ 25532ed618SSoby Mathew define_psci_cap(PSCI_FEATURES)) 26532ed618SSoby Mathew 27532ed618SSoby Mathew /* 28532ed618SSoby Mathew * The PSCI capabilities mask for 64 bit functions. 29532ed618SSoby Mathew */ 30532ed618SSoby Mathew #define PSCI_CAP_64BIT_MASK \ 31532ed618SSoby Mathew (define_psci_cap(PSCI_CPU_SUSPEND_AARCH64) | \ 32532ed618SSoby Mathew define_psci_cap(PSCI_CPU_ON_AARCH64) | \ 33532ed618SSoby Mathew define_psci_cap(PSCI_AFFINITY_INFO_AARCH64) | \ 34532ed618SSoby Mathew define_psci_cap(PSCI_MIG_AARCH64) | \ 35532ed618SSoby Mathew define_psci_cap(PSCI_MIG_INFO_UP_CPU_AARCH64) | \ 3628d3d614SJeenu Viswambharan define_psci_cap(PSCI_NODE_HW_STATE_AARCH64) | \ 37532ed618SSoby Mathew define_psci_cap(PSCI_SYSTEM_SUSPEND_AARCH64) | \ 38532ed618SSoby Mathew define_psci_cap(PSCI_STAT_RESIDENCY_AARCH64) | \ 3936a8f8fdSRoberto Vargas define_psci_cap(PSCI_STAT_COUNT_AARCH64) | \ 404ce9b8eaSRoberto Vargas define_psci_cap(PSCI_SYSTEM_RESET2_AARCH64) | \ 414ce9b8eaSRoberto Vargas define_psci_cap(PSCI_MEM_CHK_RANGE_AARCH64)) 42532ed618SSoby Mathew 43532ed618SSoby Mathew /* 4497373c33SAntonio Nino Diaz * Helper functions to get/set the fields of PSCI per-cpu data. 45532ed618SSoby Mathew */ 4697373c33SAntonio Nino Diaz static inline void psci_set_aff_info_state(aff_info_state_t aff_state) 4797373c33SAntonio Nino Diaz { 4897373c33SAntonio Nino Diaz set_cpu_data(psci_svc_cpu_data.aff_info_state, aff_state); 4997373c33SAntonio Nino Diaz } 50532ed618SSoby Mathew 5197373c33SAntonio Nino Diaz static inline aff_info_state_t psci_get_aff_info_state(void) 5297373c33SAntonio Nino Diaz { 5397373c33SAntonio Nino Diaz return get_cpu_data(psci_svc_cpu_data.aff_info_state); 5497373c33SAntonio Nino Diaz } 55532ed618SSoby Mathew 5697373c33SAntonio Nino Diaz static inline aff_info_state_t psci_get_aff_info_state_by_idx(int idx) 5797373c33SAntonio Nino Diaz { 5897373c33SAntonio Nino Diaz return get_cpu_data_by_index((unsigned int)idx, 5997373c33SAntonio Nino Diaz psci_svc_cpu_data.aff_info_state); 6097373c33SAntonio Nino Diaz } 6197373c33SAntonio Nino Diaz 6297373c33SAntonio Nino Diaz static inline void psci_set_aff_info_state_by_idx(int idx, 6397373c33SAntonio Nino Diaz aff_info_state_t aff_state) 6497373c33SAntonio Nino Diaz { 6597373c33SAntonio Nino Diaz set_cpu_data_by_index((unsigned int)idx, 6697373c33SAntonio Nino Diaz psci_svc_cpu_data.aff_info_state, aff_state); 6797373c33SAntonio Nino Diaz } 6897373c33SAntonio Nino Diaz 6997373c33SAntonio Nino Diaz static inline unsigned int psci_get_suspend_pwrlvl(void) 7097373c33SAntonio Nino Diaz { 7197373c33SAntonio Nino Diaz return get_cpu_data(psci_svc_cpu_data.target_pwrlvl); 7297373c33SAntonio Nino Diaz } 7397373c33SAntonio Nino Diaz 7497373c33SAntonio Nino Diaz static inline void psci_set_suspend_pwrlvl(unsigned int target_lvl) 7597373c33SAntonio Nino Diaz { 7697373c33SAntonio Nino Diaz set_cpu_data(psci_svc_cpu_data.target_pwrlvl, target_lvl); 7797373c33SAntonio Nino Diaz } 7897373c33SAntonio Nino Diaz 7997373c33SAntonio Nino Diaz static inline void psci_set_cpu_local_state(plat_local_state_t state) 8097373c33SAntonio Nino Diaz { 8197373c33SAntonio Nino Diaz set_cpu_data(psci_svc_cpu_data.local_state, state); 8297373c33SAntonio Nino Diaz } 8397373c33SAntonio Nino Diaz 8497373c33SAntonio Nino Diaz static inline plat_local_state_t psci_get_cpu_local_state(void) 8597373c33SAntonio Nino Diaz { 8697373c33SAntonio Nino Diaz return get_cpu_data(psci_svc_cpu_data.local_state); 8797373c33SAntonio Nino Diaz } 8897373c33SAntonio Nino Diaz 8997373c33SAntonio Nino Diaz static inline plat_local_state_t psci_get_cpu_local_state_by_idx(int idx) 9097373c33SAntonio Nino Diaz { 9197373c33SAntonio Nino Diaz return get_cpu_data_by_index((unsigned int)idx, 9297373c33SAntonio Nino Diaz psci_svc_cpu_data.local_state); 9397373c33SAntonio Nino Diaz } 9497373c33SAntonio Nino Diaz 9597373c33SAntonio Nino Diaz /* Helper function to identify a CPU standby request in PSCI Suspend call */ 9697373c33SAntonio Nino Diaz static inline int is_cpu_standby_req(unsigned int is_power_down_state, 9797373c33SAntonio Nino Diaz unsigned int retn_lvl) 9897373c33SAntonio Nino Diaz { 9997373c33SAntonio Nino Diaz return ((is_power_down_state == 0U) && (retn_lvl == 0U)) ? 1 : 0; 10097373c33SAntonio Nino Diaz } 101532ed618SSoby Mathew 102532ed618SSoby Mathew /******************************************************************************* 103532ed618SSoby Mathew * The following two data structures implement the power domain tree. The tree 104532ed618SSoby Mathew * is used to track the state of all the nodes i.e. power domain instances 105532ed618SSoby Mathew * described by the platform. The tree consists of nodes that describe CPU power 106532ed618SSoby Mathew * domains i.e. leaf nodes and all other power domains which are parents of a 107532ed618SSoby Mathew * CPU power domain i.e. non-leaf nodes. 108532ed618SSoby Mathew ******************************************************************************/ 109532ed618SSoby Mathew typedef struct non_cpu_pwr_domain_node { 110532ed618SSoby Mathew /* 111532ed618SSoby Mathew * Index of the first CPU power domain node level 0 which has this node 112532ed618SSoby Mathew * as its parent. 113532ed618SSoby Mathew */ 114532ed618SSoby Mathew unsigned int cpu_start_idx; 115532ed618SSoby Mathew 116532ed618SSoby Mathew /* 117532ed618SSoby Mathew * Number of CPU power domains which are siblings of the domain indexed 118532ed618SSoby Mathew * by 'cpu_start_idx' i.e. all the domains in the range 'cpu_start_idx 119532ed618SSoby Mathew * -> cpu_start_idx + ncpus' have this node as their parent. 120532ed618SSoby Mathew */ 121532ed618SSoby Mathew unsigned int ncpus; 122532ed618SSoby Mathew 123532ed618SSoby Mathew /* 124532ed618SSoby Mathew * Index of the parent power domain node. 125532ed618SSoby Mathew * TODO: Figure out whether to whether using pointer is more efficient. 126532ed618SSoby Mathew */ 127532ed618SSoby Mathew unsigned int parent_node; 128532ed618SSoby Mathew 129532ed618SSoby Mathew plat_local_state_t local_state; 130532ed618SSoby Mathew 131532ed618SSoby Mathew unsigned char level; 132532ed618SSoby Mathew 133532ed618SSoby Mathew /* For indexing the psci_lock array*/ 134532ed618SSoby Mathew unsigned char lock_index; 135532ed618SSoby Mathew } non_cpu_pd_node_t; 136532ed618SSoby Mathew 137532ed618SSoby Mathew typedef struct cpu_pwr_domain_node { 138532ed618SSoby Mathew u_register_t mpidr; 139532ed618SSoby Mathew 140532ed618SSoby Mathew /* 141532ed618SSoby Mathew * Index of the parent power domain node. 142532ed618SSoby Mathew * TODO: Figure out whether to whether using pointer is more efficient. 143532ed618SSoby Mathew */ 144532ed618SSoby Mathew unsigned int parent_node; 145532ed618SSoby Mathew 146532ed618SSoby Mathew /* 147532ed618SSoby Mathew * A CPU power domain does not require state coordination like its 148532ed618SSoby Mathew * parent power domains. Hence this node does not include a bakery 149532ed618SSoby Mathew * lock. A spinlock is required by the CPU_ON handler to prevent a race 150532ed618SSoby Mathew * when multiple CPUs try to turn ON the same target CPU. 151532ed618SSoby Mathew */ 152532ed618SSoby Mathew spinlock_t cpu_lock; 153532ed618SSoby Mathew } cpu_pd_node_t; 154532ed618SSoby Mathew 155532ed618SSoby Mathew /******************************************************************************* 156*4829df83SAntonio Nino Diaz * The following are helpers and declarations of locks. 157*4829df83SAntonio Nino Diaz ******************************************************************************/ 158*4829df83SAntonio Nino Diaz #if HW_ASSISTED_COHERENCY 159*4829df83SAntonio Nino Diaz /* 160*4829df83SAntonio Nino Diaz * On systems where participant CPUs are cache-coherent, we can use spinlocks 161*4829df83SAntonio Nino Diaz * instead of bakery locks. 162*4829df83SAntonio Nino Diaz */ 163*4829df83SAntonio Nino Diaz #define DEFINE_PSCI_LOCK(_name) spinlock_t _name 164*4829df83SAntonio Nino Diaz #define DECLARE_PSCI_LOCK(_name) extern DEFINE_PSCI_LOCK(_name) 165*4829df83SAntonio Nino Diaz 166*4829df83SAntonio Nino Diaz /* One lock is required per non-CPU power domain node */ 167*4829df83SAntonio Nino Diaz DECLARE_PSCI_LOCK(psci_locks[PSCI_NUM_NON_CPU_PWR_DOMAINS]); 168*4829df83SAntonio Nino Diaz 169*4829df83SAntonio Nino Diaz /* 170*4829df83SAntonio Nino Diaz * On systems with hardware-assisted coherency, make PSCI cache operations NOP, 171*4829df83SAntonio Nino Diaz * as PSCI participants are cache-coherent, and there's no need for explicit 172*4829df83SAntonio Nino Diaz * cache maintenance operations or barriers to coordinate their state. 173*4829df83SAntonio Nino Diaz */ 174*4829df83SAntonio Nino Diaz static inline void psci_flush_dcache_range(uintptr_t __unused addr, 175*4829df83SAntonio Nino Diaz size_t __unused size) 176*4829df83SAntonio Nino Diaz { 177*4829df83SAntonio Nino Diaz /* Empty */ 178*4829df83SAntonio Nino Diaz } 179*4829df83SAntonio Nino Diaz 180*4829df83SAntonio Nino Diaz #define psci_flush_cpu_data(member) 181*4829df83SAntonio Nino Diaz #define psci_inv_cpu_data(member) 182*4829df83SAntonio Nino Diaz 183*4829df83SAntonio Nino Diaz static inline void psci_dsbish(void) 184*4829df83SAntonio Nino Diaz { 185*4829df83SAntonio Nino Diaz /* Empty */ 186*4829df83SAntonio Nino Diaz } 187*4829df83SAntonio Nino Diaz 188*4829df83SAntonio Nino Diaz static inline void psci_lock_get(non_cpu_pd_node_t *non_cpu_pd_node) 189*4829df83SAntonio Nino Diaz { 190*4829df83SAntonio Nino Diaz spin_lock(&psci_locks[non_cpu_pd_node->lock_index]); 191*4829df83SAntonio Nino Diaz } 192*4829df83SAntonio Nino Diaz 193*4829df83SAntonio Nino Diaz static inline void psci_lock_release(non_cpu_pd_node_t *non_cpu_pd_node) 194*4829df83SAntonio Nino Diaz { 195*4829df83SAntonio Nino Diaz spin_unlock(&psci_locks[non_cpu_pd_node->lock_index]); 196*4829df83SAntonio Nino Diaz } 197*4829df83SAntonio Nino Diaz 198*4829df83SAntonio Nino Diaz #else /* if HW_ASSISTED_COHERENCY == 0 */ 199*4829df83SAntonio Nino Diaz /* 200*4829df83SAntonio Nino Diaz * Use bakery locks for state coordination as not all PSCI participants are 201*4829df83SAntonio Nino Diaz * cache coherent. 202*4829df83SAntonio Nino Diaz */ 203*4829df83SAntonio Nino Diaz #define DEFINE_PSCI_LOCK(_name) DEFINE_BAKERY_LOCK(_name) 204*4829df83SAntonio Nino Diaz #define DECLARE_PSCI_LOCK(_name) DECLARE_BAKERY_LOCK(_name) 205*4829df83SAntonio Nino Diaz 206*4829df83SAntonio Nino Diaz /* One lock is required per non-CPU power domain node */ 207*4829df83SAntonio Nino Diaz DECLARE_PSCI_LOCK(psci_locks[PSCI_NUM_NON_CPU_PWR_DOMAINS]); 208*4829df83SAntonio Nino Diaz 209*4829df83SAntonio Nino Diaz /* 210*4829df83SAntonio Nino Diaz * If not all PSCI participants are cache-coherent, perform cache maintenance 211*4829df83SAntonio Nino Diaz * and issue barriers wherever required to coordinate state. 212*4829df83SAntonio Nino Diaz */ 213*4829df83SAntonio Nino Diaz static inline void psci_flush_dcache_range(uintptr_t addr, size_t size) 214*4829df83SAntonio Nino Diaz { 215*4829df83SAntonio Nino Diaz flush_dcache_range(addr, size); 216*4829df83SAntonio Nino Diaz } 217*4829df83SAntonio Nino Diaz 218*4829df83SAntonio Nino Diaz #define psci_flush_cpu_data(member) flush_cpu_data(member) 219*4829df83SAntonio Nino Diaz #define psci_inv_cpu_data(member) inv_cpu_data(member) 220*4829df83SAntonio Nino Diaz 221*4829df83SAntonio Nino Diaz static inline void psci_dsbish(void) 222*4829df83SAntonio Nino Diaz { 223*4829df83SAntonio Nino Diaz dsbish(); 224*4829df83SAntonio Nino Diaz } 225*4829df83SAntonio Nino Diaz 226*4829df83SAntonio Nino Diaz static inline void psci_lock_get(non_cpu_pd_node_t *non_cpu_pd_node) 227*4829df83SAntonio Nino Diaz { 228*4829df83SAntonio Nino Diaz bakery_lock_get(&psci_locks[non_cpu_pd_node->lock_index]); 229*4829df83SAntonio Nino Diaz } 230*4829df83SAntonio Nino Diaz 231*4829df83SAntonio Nino Diaz static inline void psci_lock_release(non_cpu_pd_node_t *non_cpu_pd_node) 232*4829df83SAntonio Nino Diaz { 233*4829df83SAntonio Nino Diaz bakery_lock_release(&psci_locks[non_cpu_pd_node->lock_index]); 234*4829df83SAntonio Nino Diaz } 235*4829df83SAntonio Nino Diaz 236*4829df83SAntonio Nino Diaz #endif /* HW_ASSISTED_COHERENCY */ 237*4829df83SAntonio Nino Diaz 238*4829df83SAntonio Nino Diaz static inline void psci_lock_init(non_cpu_pd_node_t *non_cpu_pd_node, 239*4829df83SAntonio Nino Diaz unsigned char idx) 240*4829df83SAntonio Nino Diaz { 241*4829df83SAntonio Nino Diaz non_cpu_pd_node[idx].lock_index = idx; 242*4829df83SAntonio Nino Diaz } 243*4829df83SAntonio Nino Diaz 244*4829df83SAntonio Nino Diaz /******************************************************************************* 245532ed618SSoby Mathew * Data prototypes 246532ed618SSoby Mathew ******************************************************************************/ 247532ed618SSoby Mathew extern const plat_psci_ops_t *psci_plat_pm_ops; 248532ed618SSoby Mathew extern non_cpu_pd_node_t psci_non_cpu_pd_nodes[PSCI_NUM_NON_CPU_PWR_DOMAINS]; 249532ed618SSoby Mathew extern cpu_pd_node_t psci_cpu_pd_nodes[PLATFORM_CORE_COUNT]; 250532ed618SSoby Mathew extern unsigned int psci_caps; 251532ed618SSoby Mathew 252532ed618SSoby Mathew /******************************************************************************* 253532ed618SSoby Mathew * SPD's power management hooks registered with PSCI 254532ed618SSoby Mathew ******************************************************************************/ 255532ed618SSoby Mathew extern const spd_pm_ops_t *psci_spd_pm; 256532ed618SSoby Mathew 257532ed618SSoby Mathew /******************************************************************************* 258532ed618SSoby Mathew * Function prototypes 259532ed618SSoby Mathew ******************************************************************************/ 260532ed618SSoby Mathew /* Private exported functions from psci_common.c */ 261532ed618SSoby Mathew int psci_validate_power_state(unsigned int power_state, 262532ed618SSoby Mathew psci_power_state_t *state_info); 263532ed618SSoby Mathew void psci_query_sys_suspend_pwrstate(psci_power_state_t *state_info); 264532ed618SSoby Mathew int psci_validate_mpidr(u_register_t mpidr); 265532ed618SSoby Mathew void psci_init_req_local_pwr_states(void); 26661eae524SAchin Gupta void psci_get_target_local_pwr_states(unsigned int end_pwrlvl, 26761eae524SAchin Gupta psci_power_state_t *target_state); 268532ed618SSoby Mathew int psci_validate_entry_point(entry_point_info_t *ep, 269532ed618SSoby Mathew uintptr_t entrypoint, u_register_t context_id); 270532ed618SSoby Mathew void psci_get_parent_pwr_domain_nodes(unsigned int cpu_idx, 271532ed618SSoby Mathew unsigned int end_lvl, 272532ed618SSoby Mathew unsigned int node_index[]); 273532ed618SSoby Mathew void psci_do_state_coordination(unsigned int end_pwrlvl, 274532ed618SSoby Mathew psci_power_state_t *state_info); 275532ed618SSoby Mathew void psci_acquire_pwr_domain_locks(unsigned int end_pwrlvl, 276532ed618SSoby Mathew unsigned int cpu_idx); 277532ed618SSoby Mathew void psci_release_pwr_domain_locks(unsigned int end_pwrlvl, 278532ed618SSoby Mathew unsigned int cpu_idx); 279532ed618SSoby Mathew int psci_validate_suspend_req(const psci_power_state_t *state_info, 2809fb8af33SRoberto Vargas unsigned int is_power_down_state); 281532ed618SSoby Mathew unsigned int psci_find_max_off_lvl(const psci_power_state_t *state_info); 282532ed618SSoby Mathew unsigned int psci_find_target_suspend_lvl(const psci_power_state_t *state_info); 283532ed618SSoby Mathew void psci_set_pwr_domains_to_run(unsigned int end_pwrlvl); 284532ed618SSoby Mathew void psci_print_power_domain_map(void); 285532ed618SSoby Mathew unsigned int psci_is_last_on_cpu(void); 286532ed618SSoby Mathew int psci_spd_migrate_info(u_register_t *mpidr); 287b0408e87SJeenu Viswambharan void psci_do_pwrdown_sequence(unsigned int power_level); 288b0408e87SJeenu Viswambharan 289b0408e87SJeenu Viswambharan /* 290b0408e87SJeenu Viswambharan * CPU power down is directly called only when HW_ASSISTED_COHERENCY is 291b0408e87SJeenu Viswambharan * available. Otherwise, this needs post-call stack maintenance, which is 292b0408e87SJeenu Viswambharan * handled in assembly. 293b0408e87SJeenu Viswambharan */ 294b0408e87SJeenu Viswambharan void prepare_cpu_pwr_dwn(unsigned int power_level); 295532ed618SSoby Mathew 296532ed618SSoby Mathew /* Private exported functions from psci_on.c */ 297532ed618SSoby Mathew int psci_cpu_on_start(u_register_t target_cpu, 298532ed618SSoby Mathew entry_point_info_t *ep); 299532ed618SSoby Mathew 300532ed618SSoby Mathew void psci_cpu_on_finish(unsigned int cpu_idx, 301532ed618SSoby Mathew psci_power_state_t *state_info); 302532ed618SSoby Mathew 303532ed618SSoby Mathew /* Private exported functions from psci_off.c */ 304532ed618SSoby Mathew int psci_do_cpu_off(unsigned int end_pwrlvl); 305532ed618SSoby Mathew 306532ed618SSoby Mathew /* Private exported functions from psci_suspend.c */ 307532ed618SSoby Mathew void psci_cpu_suspend_start(entry_point_info_t *ep, 308532ed618SSoby Mathew unsigned int end_pwrlvl, 309532ed618SSoby Mathew psci_power_state_t *state_info, 3109fb8af33SRoberto Vargas unsigned int is_power_down_state); 311532ed618SSoby Mathew 312532ed618SSoby Mathew void psci_cpu_suspend_finish(unsigned int cpu_idx, 313532ed618SSoby Mathew psci_power_state_t *state_info); 314532ed618SSoby Mathew 315532ed618SSoby Mathew /* Private exported functions from psci_helpers.S */ 316532ed618SSoby Mathew void psci_do_pwrdown_cache_maintenance(unsigned int pwr_level); 317532ed618SSoby Mathew void psci_do_pwrup_cache_maintenance(void); 318532ed618SSoby Mathew 319532ed618SSoby Mathew /* Private exported functions from psci_system_off.c */ 320532ed618SSoby Mathew void __dead2 psci_system_off(void); 321532ed618SSoby Mathew void __dead2 psci_system_reset(void); 32236a8f8fdSRoberto Vargas int psci_system_reset2(uint32_t reset_type, u_register_t cookie); 323532ed618SSoby Mathew 324532ed618SSoby Mathew /* Private exported functions from psci_stat.c */ 325532ed618SSoby Mathew void psci_stats_update_pwr_down(unsigned int end_pwrlvl, 326532ed618SSoby Mathew const psci_power_state_t *state_info); 327532ed618SSoby Mathew void psci_stats_update_pwr_up(unsigned int end_pwrlvl, 32804c1db1eSdp-arm const psci_power_state_t *state_info); 329532ed618SSoby Mathew u_register_t psci_stat_residency(u_register_t target_cpu, 330532ed618SSoby Mathew unsigned int power_state); 331532ed618SSoby Mathew u_register_t psci_stat_count(u_register_t target_cpu, 332532ed618SSoby Mathew unsigned int power_state); 333532ed618SSoby Mathew 334d4c596beSRoberto Vargas /* Private exported functions from psci_mem_protect.c */ 335d4c596beSRoberto Vargas int psci_mem_protect(unsigned int enable); 336d4c596beSRoberto Vargas int psci_mem_chk_range(uintptr_t base, u_register_t length); 337d4c596beSRoberto Vargas 33897373c33SAntonio Nino Diaz #endif /* PSCI_PRIVATE_H */ 339