/* Configures the driver with the selected card configuration.  */
static void sd_mmc_configure_slot(void)
/* Configures the driver with the selected card configuration.  */
static void sd_mmc_configure_slot(void)
{
	driver_select_device(sd_mmc_slot_sel, sd_mmc_card->clock,
			sd_mmc_card->bus_width, sd_mmc_card->high_speed);
}