Convert minstret to csr_t

This is a little messy in RV32 since it's accessed via two different
CSRs (upper and lower halves).

This changes logging of mcycle[h] to log a change to minstret[h],
since that's how it's always been implemented in Spike. There is no
separate mcycle register.

1 files changed, 1 insertions, 1 deletions

diff --git a/riscv/execute.cc b/riscv/execute.cc
index 53f956c..ed64277 100644
--- a/riscv/execute.cc
+++ b/riscv/execute.cc
@@ -348,7 +348,7 @@ void processor_t::step(size_t n)
       n = ++instret;
     }
 
-    state.minstret += instret;
+    state.minstret->bump(instret);
     n -= instret;
   }
 }