fix(bl31): remove incorrect asserts
When RESET_TO_BL31 is defined, BL31 is the reset vector and no
parameters are provided by a previous bootloader.
Therefore, the arguments arg0 to arg3 passed to
arm_bl31_early_platform_setup() must be ignored.
They come directly from the BL31 entrypoint.
The GP registers reset to an architecturally unknown value
so are not necessarily initialized to zero.
Signed-off-by: Alexandre Gonzalo <alexandre.gonzalo@arm.com>
Change-Id: I38dde35145f2bd27fe9645906df192b138984c1d
diff --git a/plat/arm/common/arm_bl31_setup.c b/plat/arm/common/arm_bl31_setup.c
index c38418e..8ac984f 100644
--- a/plat/arm/common/arm_bl31_setup.c
+++ b/plat/arm/common/arm_bl31_setup.c
@@ -222,9 +222,11 @@
#endif /* RESET_TO_BL31 */
#else /* (!TRANSFER_LIST) */
#if RESET_TO_BL31
- /* There are no parameters from BL2 if BL31 is a reset vector */
- assert((uintptr_t)arg0 == 0U);
- assert((uintptr_t)arg3 == 0U);
+ /* If BL31 is a reset vector, the parameters must be ignored */
+ (void)arg0;
+ (void)arg1;
+ (void)arg2;
+ (void)arg3;
# ifdef BL32_BASE
/* Populate entry point information for BL32 */