SDHC_POWER_CTL
printf("0x%02x POWER_CTL: %x\n", SDHC_POWER_CTL,
HREAD1(hp, SDHC_POWER_CTL));
HWRITE1(hp, SDHC_POWER_CTL, 0);
if (HREAD1(hp, SDHC_POWER_CTL) ==
HWRITE1(hp, SDHC_POWER_CTL, 0);
HWRITE1(hp, SDHC_POWER_CTL, (vdd << SDHC_VOLTAGE_SHIFT) |
if (!ISSET(HREAD1(hp, SDHC_POWER_CTL), SDHC_BUS_POWER)) {