put back mstatush

riscv · Nov 26, 2023 · 3f9b362 · 3f9b362
1 parent 7d63627
commit 3f9b362
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/model/riscv_sys_control.sail b/model/riscv_sys_control.sail
@@ -600,6 +600,7 @@ function init_sys() -> unit = {
   if sizeof(xlen) == 64 then {
     mstatus = Mk_Mstatus([mstatus.bits() with 37 .. 36 = 0b00])
   };
+  mstatush->bits() = zero_extend(0b0);
 
   mip->bits()     = zero_extend(0b0);
   mie->bits()     = zero_extend(0b0);