Symbol: mmc_dev_to_card