From d929209f58c6ecd3d7723ffebc9fcad782ad2446 Mon Sep 17 00:00:00 2001
From: Nils Wistoff <nwistoff@iis.ee.ethz.ch>
Date: Thu, 14 Nov 2024 11:29:47 +1100
Subject: [PATCH] csr_regfile: Fix lint warning (signal read but not set)

Signed-off-by: Nils Wistoff <nwistoff@iis.ee.ethz.ch>
---
 core/csr_regfile.sv | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core/csr_regfile.sv b/core/csr_regfile.sv
index 705c671ba2..296a8d7916 100644
--- 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