split dret from rv_system to rv_debug

Because neither priv and unpriv isa mentions dret, and debug is lived in a standalone spec, move dret out from rv_system, while putting it into rv_debug
riscv · Sep 27, 2023 · 9bb46c8 · 9bb46c8
1 parent 09c6db5
commit 9bb46c8
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/rv_debug b/rv_debug
@@ -0,0 +1,2 @@
+# debug
+dret      11..7=0 19..15=0 31..20=0x7b2 14..12=0 6..2=0x1C 1..0=3
diff --git a/rv_system b/rv_system
@@ -1,5 +1,4 @@
 # SYSTEM
 mret      11..7=0 19..15=0 31..20=0x302 14..12=0 6..2=0x1C 1..0=3
-dret      11..7=0 19..15=0 31..20=0x7b2 14..12=0 6..2=0x1C 1..0=3
 wfi       11..7=0 19..15=0 31..20=0x105 14..12=0 6..2=0x1C 1..0=3
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		# debug
		dret 11..7=0 19..15=0 31..20=0x7b2 14..12=0 6..2=0x1C 1..0=3