SDHC_PRESENT_STATE  373 dev/sdmmc/sdhc.c 	return ISSET(HREAD4(hp, SDHC_PRESENT_STATE), SDHC_CARD_INSERTED) ?
SDHC_PRESENT_STATE  473 dev/sdmmc/sdhc.c 	if (ISSET(HREAD4(hp, SDHC_PRESENT_STATE), SDHC_CMD_INHIBIT_MASK) &&
SDHC_PRESENT_STATE  548 dev/sdmmc/sdhc.c 		if (((state = HREAD4(hp, SDHC_PRESENT_STATE)) & mask)
SDHC_PRESENT_STATE  957 dev/sdmmc/sdhc.c 	printf("0x%02x PRESENT_STATE:    %b\n", SDHC_PRESENT_STATE,
SDHC_PRESENT_STATE  958 dev/sdmmc/sdhc.c 	    HREAD4(hp, SDHC_PRESENT_STATE), SDHC_PRESENT_STATE_BITS);