microblaze: Use cache functions (especially cache status)

in systems which are configured without flash

diff --git a/cpu/microblaze/cache.c b/cpu/microblaze/cache.c
index 4b7866fae50721a705f2eb8ca7a62ca0e369844d..3b7c4d4f7f9a61b79a0dc1cde5b778e5aab12b3d 100644 (file)
--- a/cpu/microblaze/cache.c
+++ b/cpu/microblaze/cache.c
@@ -25,8 +25,6 @@
 #include <common.h>
 #include <asm/asm.h>
 
-#if defined(CONFIG_CMD_CACHE)
-
 int dcache_status (void)
 {
        int i = 0;
@@ -62,4 +60,3 @@ void  dcache_enable (void) {
 void   dcache_disable(void) {
        MSRCLR(0x80);
 }
-#endif

diff --git a/lib_microblaze/board.c b/lib_microblaze/board.c
index 732f81e767d1a7f40edb1a825ef89d03010a3fbc..30d7641868d8140b77bab31cc1f8a178ef5b8aa0 100644 (file)
--- a/lib_microblaze/board.c
+++ b/lib_microblaze/board.c
@@ -137,11 +137,8 @@ void board_init (void)
        }
 
        puts ("SDRAM :\n");
-#if defined(CONFIG_CMD_CACHE)
-       puts ("\tEnabling caches :\n");
        printf ("\t\tIcache:%s\n", icache_status() ? "OK" : "FAIL");
        printf ("\t\tDcache:%s\n", dcache_status() ? "OK" : "FAIL");
-#endif
        printf ("\tU-Boot Start:0x%08x\n", TEXT_BASE);
 
 #if defined(CONFIG_CMD_FLASH)