SDHC_VENDOR_VERSION  148 dev/sdmmc/sdhc.c 		printf("1.0/%u\n", SDHC_VENDOR_VERSION(version));
SDHC_VENDOR_VERSION  151 dev/sdmmc/sdhc.c 		printf(">1.0/%u\n", SDHC_VENDOR_VERSION(version));