SXIMMC_TIMEOUT
MMC_WRITE(sc, SXIMMC_TIMEOUT, 0xffffffff);
printf("TIMEOUT: 0x%08x\n", MMC_READ(sc, SXIMMC_TIMEOUT));