diff --git a/model/riscv_sys_control.sail b/model/riscv_sys_control.sail
index 8a59edf53..c5617fc11 100644
--- 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);