From e962e95e53528745f6b53ee64cb5530573ea2949 Mon Sep 17 00:00:00 2001
From: David Harris <david_harris@hmc.edu>
Date: Thu, 27 Apr 2023 14:12:57 -0700
Subject: [PATCH] CSR code cleanup

---
 src/privileged/csrsr.sv | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/privileged/csrsr.sv b/src/privileged/csrsr.sv
index 61a6f324..831366bb 100644
--- a/src/privileged/csrsr.sv
+++ b/src/privileged/csrsr.sv
@@ -177,8 +177,7 @@ module csrsr (
         STATUS_MIE <= #1 STATUS_MPIE; // restore global interrupt enable
         STATUS_MPIE <= #1 1; // 
         STATUS_MPP <= #1 `U_SUPPORTED ? `U_MODE : `M_MODE; // set MPP to lowest supported privilege level
-        // STATUS_MPRV_INT <= #1 0; // changed to this by Ross to solve Linux bug; might have been s spurious disagreement with QEMU
-        STATUS_MPRV_INT <= #1 STATUS_MPRV_INT & (STATUS_MPP == `M_MODE); // Seems to be given by page 21 of spec.
+         STATUS_MPRV_INT <= #1 STATUS_MPRV_INT & (STATUS_MPP == `M_MODE); // page 21 of privileged spec.
       end else if (sretM) begin
         STATUS_SIE <= #1 STATUS_SPIE; // restore global interrupt enable
         STATUS_SPIE <= #1 `S_SUPPORTED;