cache_dcbi
cache_dcbi((void *)req, sizeof(*req));
cache_dcbi(buf, nblks * SDMMC_BLOCK_SIZE);
cache_dcbi((void *)infohdr, sizeof(*infohdr));