From 9bb46c8beaf08ebe1f2f69802a31afa9e31af89e Mon Sep 17 00:00:00 2001 From: Jiuyang Liu Date: Wed, 27 Sep 2023 17:38:40 +0800 Subject: [PATCH] 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 --- rv_debug | 2 ++ rv_system | 1 - 2 files changed, 2 insertions(+), 1 deletion(-) create mode 100644 rv_debug diff --git a/rv_debug b/rv_debug new file mode 100644 index 00000000..ea1c3ef4 --- /dev/null +++ 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 index f94c4cf7..24ab8fb1 100644 --- 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