SDHC_PRESENT_STATE
printf("0x%02x PRESENT_STATE: %b\n", SDHC_PRESENT_STATE,
HREAD4(hp, SDHC_PRESENT_STATE), SDHC_PRESENT_STATE_BITS);
return ISSET(HREAD4(hp, SDHC_PRESENT_STATE), SDHC_CARD_INSERTED) ?
if (ISSET(HREAD4(hp, SDHC_PRESENT_STATE), SDHC_CMD_INHIBIT_MASK) &&
if (((state = HREAD4(hp, SDHC_PRESENT_STATE)) & mask)