SDHC_NINTR_SIGNAL_EN
printf("0x%02x NINTR_SIGNAL_EN: %x\n", SDHC_NINTR_SIGNAL_EN,
HREAD2(hp, SDHC_NINTR_SIGNAL_EN));
HWRITE2(hp, SDHC_NINTR_SIGNAL_EN, 0);
HWRITE2(hp, SDHC_NINTR_SIGNAL_EN, imask);
HSET2(hp, SDHC_NINTR_SIGNAL_EN, SDHC_CARD_INTERRUPT);
HCLR2(hp, SDHC_NINTR_SIGNAL_EN, SDHC_CARD_INTERRUPT);