RESET_WRITE
RESET_WRITE(sc, reset_reg, val | reset_mask);
RESET_WRITE(sc, reset_reg, val & ~reset_mask);
RESET_WRITE(sc, reset_reg, val | reset_mask);
RESET_WRITE(sc, reset_reg, val & ~reset_mask);