INT_CLEAR_REG
out32rb(INT_CLEAR_REG, 0xffffffff);
out32rb(INT_CLEAR_REG, mask);
out32rb(INT_CLEAR_REG, events | irqs);