sdmmc_pause
sdmmc_pause(100000, NULL);
sdmmc_pause(hztoms(1)*1000, NULL);
sdmmc_pause(100000, NULL);
sdmmc_pause(100000, NULL);
sdmmc_pause(100000, NULL); /* XXX SDMMC_LOCK */
sdmmc_pause(10000, NULL);
sdmmc_pause(10000, NULL);
void sdmmc_pause(u_int, kmutex_t *);