From ed9fa07ba312a94918897fc2742a30e3e389463f Mon Sep 17 00:00:00 2001
From: David Harris <David_Harris@hmc.edu>
Date: Mon, 15 Jan 2024 07:16:11 -0800
Subject: [PATCH] tests/coverage/tlbmisc.S

---
 src/privileged/csrs.sv | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/privileged/csrs.sv b/src/privileged/csrs.sv
index da8ab48bf..e107fc0f7 100644
--- a/src/privileged/csrs.sv
+++ b/src/privileged/csrs.sv
@@ -160,9 +160,9 @@ module csrs import cvw::*;  #(parameter cvw_t P) (
                    CSRSReadValM = 0;
                    IllegalCSRSAccessM = 1;
                  end
-      STIMECMPH: if (STCE) 
+      STIMECMPH: if (STCE & P.XLEN == 32) // not supported for RV64
                    CSRSReadValM = {{(P.XLEN-32){1'b0}}, STIMECMP_REGW[63:32]};
-                 else begin // not supported for RV64
+                 else begin 
                    CSRSReadValM = 0;
                    IllegalCSRSAccessM = 1;
                  end