SDHC_POWER_CTL
reg = sdhc_host_read_1(hp, SDHC_POWER_CTL);
sdhc_host_write_1(hp, SDHC_POWER_CTL, reg);
sdhc_host_write_1(hp, SDHC_POWER_CTL, reg);
reg = sdhc_host_read_1(hp, SDHC_POWER_CTL);
sdhc_host_write_1(hp, SDHC_POWER_CTL, reg);
sdhc_host_write_1(hp, SDHC_POWER_CTL, reg);
printf("0x%02x POWER_CTL: %x\n", SDHC_POWER_CTL,
HREAD1(hp, SDHC_POWER_CTL));
HWRITE1(hp, SDHC_POWER_CTL, 0);
HWRITE1(hp, SDHC_POWER_CTL,
reg = HREAD1(hp, SDHC_POWER_CTL) & pcmask;
HWRITE1(hp, SDHC_POWER_CTL, reg);
HWRITE1(hp, SDHC_POWER_CTL, reg);
HWRITE1(hp, SDHC_POWER_CTL, reg);
if (!ISSET(HREAD1(hp, SDHC_POWER_CTL), SDHC_BUS_POWER)) {