diff --git a/cpu/microblaze/cache.c b/cpu/microblaze/cache.c index 4b7866fae50721a705f2eb8ca7a62ca0e369844d..3b7c4d4f7f9a61b79a0dc1cde5b778e5aab12b3d 100644 --- 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 --- 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)