SDHC_MAX_CAPABILITIES  975 dev/sdmmc/sdhc.c 	printf("0x%02x MAX_CAPABILITIES: %x\n", SDHC_MAX_CAPABILITIES,
SDHC_MAX_CAPABILITIES  976 dev/sdmmc/sdhc.c 	    HREAD4(hp, SDHC_MAX_CAPABILITIES));