common: Move ARM cache operations out of common.h

[oweals/u-boot.git] / arch / microblaze / lib / bootm.c

diff --git a/arch/microblaze/lib/bootm.c b/arch/microblaze/lib/bootm.c
index 11e534715d15530d9c14170c2a79cbc04cd563c3..efd5acf3592bb5f8fa8747882d67145d95b0ef4b 100644 (file)
--- a/arch/microblaze/lib/bootm.c
+++ b/arch/microblaze/lib/bootm.c
@@ -9,6 +9,7 @@
 
 #include <common.h>
 #include <command.h>
+#include <cpu_func.h>
 #include <env.h>
 #include <fdt_support.h>
 #include <image.h>
@@ -66,12 +67,15 @@ static void boot_jump_linux(bootm_headers_t *images, int flag)
 
        thekernel = (void (*)(char *, ulong, ulong))images->ep;
 
-#ifdef DEBUG
-       printf("## Transferring control to Linux (at address 0x%08lx) ",
-              (ulong)thekernel);
-       printf("cmdline 0x%08lx, ramdisk 0x%08lx, FDT 0x%08lx...\n",
-              cmdline, rd_start, dt);
-#endif
+       debug("## Transferring control to Linux (at address 0x%08lx) ",
+             (ulong)thekernel);
+       debug("cmdline 0x%08lx, ramdisk 0x%08lx, FDT 0x%08lx...\n",
+             cmdline, rd_start, dt);
+       bootstage_mark(BOOTSTAGE_ID_RUN_OS);
+
+       printf("\nStarting kernel ...%s\n\n", fake ?
+              "(fake run for tracing)" : "");
+       bootstage_mark_name(BOOTSTAGE_ID_BOOTM_HANDOFF, "start_kernel");
 
 #ifdef XILINX_USE_DCACHE
        flush_cache(0, XILINX_DCACHE_BYTE_SIZE);
@@ -92,7 +96,7 @@ static void boot_jump_linux(bootm_headers_t *images, int flag)
 static void boot_prep_linux(bootm_headers_t *images)
 {
        if (IMAGE_ENABLE_OF_LIBFDT && images->ft_len) {
-               printf("using: FDT\n");
+               debug("using: FDT\n");
                if (image_setup_linux(images)) {
                        printf("FDT creation failed! hanging...");
                        hang();