diff --git a/services/std_svc/psci/psci_on.c b/services/std_svc/psci/psci_on.c index 200e62225b9df5a15ad96e892065649e556b2c3a..9d2295e7e70b4713ff4593535496919124149294 100644 --- a/services/std_svc/psci/psci_on.c +++ b/services/std_svc/psci/psci_on.c @@ -74,6 +74,10 @@ int psci_cpu_on_start(u_register_t target_cpu, unsigned int target_idx = plat_core_pos_by_mpidr(target_cpu); aff_info_state_t target_aff_state; + /* Calling function must supply valid input arguments */ + assert((int) target_idx >= 0); + assert(ep != NULL); + /* * This function must only be called on platforms where the * CPU_ON platform hooks have been implemented.