mmc_highest_voltage
uint32_t hv = mmc_highest_voltage(softc->host_ocr);
static int mmc_highest_voltage(uint32_t ocr);
mmcbr_set_vdd(dev, mmc_highest_voltage(mmcbr_get_host_ocr(dev)));