disabled (unnecessary?) cache flush

This commit is contained in:
Markus Fröschle
2014-09-06 18:37:13 +00:00
parent 8ddce6e288
commit 8aac27bc01

View File

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