1 int csr = validate_csr(insn.csr(), true);
2 reg_t old = p->get_csr(csr, insn, true);
3 p->set_csr(csr, RS1);
4 WRITE_RD(sext_xlen(old));
5 serialize();
6