MVS_INT_STAT_SRS_1
tmp = mr32(MVS_INT_STAT_SRS_1);
mw32(MVS_INT_STAT_SRS_1, tmp);
mw32(MVS_INT_STAT_SRS_1, 1 << (reg_set % 32));