SXIMMC_STATUS
printf("STATUS: 0x%08x\n", MMC_READ(sc, SXIMMC_STATUS));
uint32_t status = MMC_READ(sc, SXIMMC_STATUS);