Add comment about CSR read side effects

1 files changed, 3 insertions, 0 deletions

diff --git a/riscv/processor.cc b/riscv/processor.cc
index 88e1a63..db2acd6 100644
--- a/riscv/processor.cc
+++ b/riscv/processor.cc
@@ -557,6 +557,9 @@ void processor_t::set_csr(int which, reg_t val)
   }
 }
 
+// Note that get_csr is sometimes called when read side-effects should not
+// be actioned.  In other words, Spike cannot currently support CSRs with
+// side effects on reads.
 reg_t processor_t::get_csr(int which)
 {
   uint32_t ctr_en = -1;