ADMHCD_REG_INTENABLE
REG_WRITE(ADMHCD_REG_INTENABLE, 0); /* disable interrupts */
REG_WRITE(ADMHCD_REG_INTENABLE, 0); /* XXX: enable interrupts */