diff --git a/lib/psci/psci_common.c b/lib/psci/psci_common.c index 3bfa06852..7c42be7e5 100644 --- a/lib/psci/psci_common.c +++ b/lib/psci/psci_common.c @@ -193,6 +193,7 @@ static unsigned int get_power_on_target_pwrlvl(void) pwrlvl = psci_get_suspend_pwrlvl(); if (pwrlvl == PSCI_INVALID_PWR_LVL) pwrlvl = PLAT_MAX_PWR_LVL; + assert(pwrlvl < PSCI_INVALID_PWR_LVL); return pwrlvl; }