cache_dcbf
cache_dcbf((void *)marks[MARK_START],
cache_dcbf((void *)req, sizeof(*req));
cache_dcbf(buf, nblks * SDMMC_BLOCK_SIZE);