Symbol: pl35x_smc_wait_for_ecc_done