int mmc_set_dev(int dev_num);
void print_mmc_devices(char separator);
int get_mmc_num(void);
+int get_mmc_dev_count(void);
int mmc_switch_part(int dev_num, unsigned int part_num);
int mmc_hwpart_config(struct mmc *mmc, const struct mmc_hwpart_conf *conf,
enum mmc_hwpart_conf_mode mode);