csrrc

diff --git a/riscv/insns/csrrc.h b/riscv/insns/csrrc.h
index 0472d80efd5164b885d99d94f7a58d8359a26037..b82fcc52b371bdff14a516a8aa048a6c52b9877a 100644 (file)
--- a/riscv/insns/csrrc.h
+++ b/riscv/insns/csrrc.h
@@ -4,5 +4,5 @@ reg_t old = p->get_csr(csr);
 if (write) {
   p->set_csr(csr, old & ~RS1);
 }
-WRITE_RD(sext_xlen(old));
+WRITE_RD(sext_xlen(sv_reg_t(old)));
 serialize();