Symbol: pl35x_smc_set_ecc_mode