From a21e1433ee8223cd4981e0f536bf4fafabe05e3c Mon Sep 17 00:00:00 2001 From: Andrew Waterman Date: Fri, 12 Jul 2019 11:56:13 -0700 Subject: DRET should not be legal in M-mode --- riscv/insns/dret.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/riscv/insns/dret.h b/riscv/insns/dret.h index 1a9dfe4..ba503a0 100644 --- a/riscv/insns/dret.h +++ b/riscv/insns/dret.h @@ -1,4 +1,4 @@ -require_privilege(PRV_M); +require(STATE.debug_mode); set_pc_and_serialize(STATE.dpc); p->set_privilege(STATE.dcsr.prv); -- cgit v1.1