SXIMMC_RINT
rint = MMC_READ(sc, SXIMMC_RINT);
MMC_WRITE(sc, SXIMMC_RINT, rint);
MMC_WRITE(sc, SXIMMC_RINT, SXIMMC_INT_SDIO_INT);
sc->sc_intr_rint |= MMC_READ(sc, SXIMMC_RINT);
printf("RINT: 0x%08x\n", MMC_READ(sc, SXIMMC_RINT));