Allow querying the mmu configuration chosen during the build. (#191)

diff --git a/riscv/mmu.h b/riscv/mmu.h
index f0bc19d1f546b47a999e63b61d46654da97d86a8..a3f06c60e9d920ea81f78ee7c284ea4e46085fcf 100644 (file)
--- a/riscv/mmu.h
+++ b/riscv/mmu.h
@@ -239,6 +239,24 @@ public:
 
   void register_memtracer(memtracer_t*);
 
 
   void register_memtracer(memtracer_t*);
 

+  int is_dirty_enabled()
+  {
+#ifdef RISCV_ENABLE_DIRTY
+    return 1;
+#else
+    return 0;
+#endif
+  }
+
+  int is_misaligned_enabled()
+  {
+#ifdef RISCV_ENABLE_MISALIGNED
+    return 1;
+#else
+    return 0;
+#endif
+  }
+

 private:
   simif_t* sim;
   processor_t* proc;
 private:
   simif_t* sim;
   processor_t* proc;