/* Do I2C/PMU writes to bring up SD card bus power  */
void board_sdmmc_voltage_init(void)
/* Do I2C/PMU writes to bring up SD card bus power  */
void board_sdmmc_voltage_init(void)
{
	pmu_write(PMU_REG_LDO5, PMU_LDO5(HIGH_POWER, 3300));
	gpio_request(TEGRA_GPIO(J, 2), "EN_3V3_EMMC");
	gpio_direction_output(TEGRA_GPIO(J, 2), 1);
}