Symbol: dwmmc_write_data32