mmc_highest_voltage
static int mmc_highest_voltage(uint32_t ocr);
mmcbr_set_vdd(dev, mmc_highest_voltage(mmcbr_get_host_ocr(dev)));