INT_CLEAR_REG_H
out32rb(INT_CLEAR_REG_H, 0xffffffff);
out32rb(INT_CLEAR_REG_H, mask);
out32rb(INT_CLEAR_REG_H, events);