csr_regfile: Fix lint warning (signal read but not set)

Signed-off-by: Nils Wistoff <[email protected]>
openhwgroup · Nov 14, 2024 · d929209 · d929209
1 parent 3396ad8
commit d929209
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/core/csr_regfile.sv b/core/csr_regfile.sv
@@ -1832,7 +1832,7 @@ module csr_regfile
         if (CVA6Cfg.RVH && trap_to_v) begin
           // update sstatus
           vsstatus_d.sie = 1'b0;
-          vsstatus_d.spie = vsstatus_q.sie;
+          vsstatus_d.spie = (CVA6Cfg.RVH) ? vsstatus_q.sie : '0;
           // this can either be user or supervisor mode
           vsstatus_d.spp = priv_lvl_q[0];
           // set cause