INT_ENABLE_REG
out32rb(INT_ENABLE_REG, 0);
out32rb(INT_ENABLE_REG, ohare->enable_mask);
out32rb(INT_ENABLE_REG, ohare->enable_mask);
out32rb(INT_ENABLE_REG, ohare->enable_mask);
printf("enable: %08x\n", in32rb(INT_ENABLE_REG));