printf wrong args

diff --git a/riscv/insns/mret.h b/riscv/insns/mret.h
index da60b16fa7751d0efd7eae881e066180b0763075..521ede14483d509d476cacf428fbec3edfb9ce83 100644 (file)
--- a/riscv/insns/mret.h
+++ b/riscv/insns/mret.h
@@ -9,4 +9,4 @@ s = set_field(s, MSTATUS_MPP, PRV_U);
 p->set_privilege(prev_prv);
 p->set_csr(CSR_MSTATUS, s);
 fprintf(stderr, "CSR SVSTATE: %x\n", svstate);
-p->set_csr(CSR_SV_STATE, svstate);
+//p->set_csr(CSR_SV_STATE, svstate);