summaryrefslogtreecommitdiff
path: root/riscv
diff options
context:
space:
mode:
Diffstat (limited to 'riscv')
-rw-r--r--riscv/riscv.sail2
1 files changed, 1 insertions, 1 deletions
diff --git a/riscv/riscv.sail b/riscv/riscv.sail
index aa68991e..2d3441d7 100644
--- a/riscv/riscv.sail
+++ b/riscv/riscv.sail
@@ -1101,7 +1101,7 @@ function readCSR csr : csreg -> xlenbits =
0x3B0 => pmpaddr0,
/* supervisor mode */
- 0x100 => mstatus.bits(), /* FIXME: legalize view*/
+ 0x100 => lower_mstatus(mstatus).bits(),
0x102 => sedeleg.bits(),
0x103 => sideleg.bits(),
0x104 => lower_mie(mie, mideleg).bits(),