diff --git a/lib/psci/psci_common.c b/lib/psci/psci_common.c index 022c877510b3db87460d1dc0f2482d9f906b08e4..55a0d872276145517598cbe832fb48ee918d9f95 100644 --- a/lib/psci/psci_common.c +++ b/lib/psci/psci_common.c @@ -192,6 +192,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; }