From 8aac27bc019d39f90eb175d925f0aeca2f8d0009 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Markus=20Fr=C3=B6schle?= <mfro@mubf.de>
Date: Sat, 6 Sep 2014 18:37:13 +0000
Subject: [PATCH] disabled (unnecessary?) cache flush

---
 BaS_gcc/sys/mmu.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/BaS_gcc/sys/mmu.c b/BaS_gcc/sys/mmu.c
index e3d0581..c153d0a 100644
--- a/BaS_gcc/sys/mmu.c
+++ b/BaS_gcc/sys/mmu.c
@@ -62,7 +62,7 @@
 #error "unknown machine!"
 #endif /* MACHINE_FIREBEE */
 
-//#define DEBUG_MMU
+#define DEBUG_MMU
 #ifdef DEBUG_MMU
 #define dbg(format, arg...) do { xprintf("DEBUG (%s()): " format, __FUNCTION__, ##arg);} while(0)
 #else
@@ -412,7 +412,7 @@ void mmu_init(void)
 void mmutr_miss(uint32_t address)
 {
 	dbg("MMU TLB MISS at 0x%08x\r\n", address);
-	flush_and_invalidate_caches();
+	// flush_and_invalidate_caches();
 
 	switch (address)
 	{