Fix a software bug : mmu_read was sending wrong CSR_TLB_CTRL ids thus not enabling the MMU

fallen · fallen · commit 2c801a45a69a · 2012-06-07T23:53:44.000+02:00
diff --git a/software/libhal/mmu.c b/software/libhal/mmu.c
@@ -19,8 +19,8 @@
 #include <base/mmu.h>
 
 #define DTLB_CTRL_FLUSH_CMD	(0x3)
-#define DTLB_CTRL_DISABLE_CMD	(0x5)
-#define DTLB_CTRL_ENABLE_CMD	(0x9)
+#define DTLB_CTRL_DISABLE_CMD	(0x9)
+#define DTLB_CTRL_ENABLE_CMD	(0x11)
 
 /* @vpfn : virtual page frame number
  * @pfn  : physical page frame number
