We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 48cd2c0 commit c93d5efCopy full SHA for c93d5ef
src/cheri_scr_map.sail
@@ -74,10 +74,10 @@ mapping clause scr_name_map = 0b00101 <-> "utdc"
74
mapping clause scr_name_map = 0b00110 <-> "uscratchc"
75
mapping clause scr_name_map = 0b00111 <-> "uepcc"
76
77
-mapping clause scr_name_map = 0b10100 <-> "stcc"
78
-mapping clause scr_name_map = 0b10101 <-> "stdc"
79
-mapping clause scr_name_map = 0b10110 <-> "sscratchc"
80
-mapping clause scr_name_map = 0b10111 <-> "sepcc"
+mapping clause scr_name_map = 0b01100 <-> "stcc"
+mapping clause scr_name_map = 0b01101 <-> "stdc"
+mapping clause scr_name_map = 0b01110 <-> "sscratchc"
+mapping clause scr_name_map = 0b01111 <-> "sepcc"
81
82
mapping clause scr_name_map = 0b11100 <-> "mtcc"
83
mapping clause scr_name_map = 0b11101 <-> "mtdc"
0 commit comments