SDHC_POWER_CTL    393 dev/sdmmc/sdhc.c 	HWRITE1(hp, SDHC_POWER_CTL, 0);
SDHC_POWER_CTL    422 dev/sdmmc/sdhc.c 	HWRITE1(hp, SDHC_POWER_CTL, (vdd << SDHC_VOLTAGE_SHIFT) |
SDHC_POWER_CTL    431 dev/sdmmc/sdhc.c 	if (!ISSET(HREAD1(hp, SDHC_POWER_CTL), SDHC_BUS_POWER)) {
SDHC_POWER_CTL    959 dev/sdmmc/sdhc.c 	printf("0x%02x POWER_CTL:        %x\n", SDHC_POWER_CTL,
SDHC_POWER_CTL    960 dev/sdmmc/sdhc.c 	    HREAD1(hp, SDHC_POWER_CTL));