Symbol: PL35X_SMC_ECC_VALUE_IS_VALID