]> git.kernelconcepts.de Git - karo-tx-uboot.git/blobdiff - lib_blackfin/bf533_linux.c
Merge with /home/wd/git/u-boot/custodian/u-boot-ppc4xx
[karo-tx-uboot.git] / lib_blackfin / bf533_linux.c
index 88b4da29df91fccec0a0a4af3bc24c3c1d12775e..80a3dc7d6e1f58a1a5abb2ac282744d78bd241d2 100644 (file)
@@ -1,7 +1,7 @@
 /*
  * U-boot - bf533_linux.c
  *
- * Copyright (c) 2005 blackfin.uclinux.org
+ * Copyright (c) 2005-2007 Analog Devices Inc.
  *
  * (C) Copyright 2000-2004
  * Wolfgang Denk, DENX Software Engineering, wd@denx.de.
@@ -21,8 +21,8 @@
  *
  * You should have received a copy of the GNU General Public License
  * along with this program; if not, write to the Free Software
- * Foundation, Inc., 59 Temple Place, Suite 330, Boston,
- * MA 02111-1307 USA
+ * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston,
+ * MA 02110-1301 USA
  */
 
 /* Dummy functions, currently not in Use */
 #define        LINUX_MAX_ENVS          256
 #define        LINUX_MAX_ARGS          256
 
-#ifdef CONFIG_SHOW_BOOT_PROGRESS
-#include <status_led.h>
-#define SHOW_BOOT_PROGRESS(arg)        show_boot_progress(arg)
-#else
-#define SHOW_BOOT_PROGRESS(arg)
-#endif
-
-#define CMD_LINE_ADDR 0xFF900000  /* L1 scratchpad */
+#define CMD_LINE_ADDR 0xFF900000       /* L1 scratchpad */
 
 #ifdef SHARED_RESOURCES
-       extern void swap_to(int device_id);
+extern void swap_to(int device_id);
 #endif
 
+extern image_header_t header;
+extern void flush_instruction_cache(void);
+extern void flush_data_cache(void);
 static char *make_command_line(void);
 
-extern image_header_t header;
-extern int do_reset(cmd_tbl_t * cmdtp, int flag, int argc, char *argv[]);
 void do_bootm_linux(cmd_tbl_t * cmdtp, int flag, int argc, char *argv[],
                    ulong addr, ulong * len_ptr, int verify)
 {
-       int (*appl)(char *cmdline);
+       int (*appl) (char *cmdline);
        char *cmdline;
 
 #ifdef SHARED_RESOURCES
@@ -66,26 +60,26 @@ void do_bootm_linux(cmd_tbl_t * cmdtp, int flag, int argc, char *argv[],
        appl = (int (*)(char *))ntohl(header.ih_ep);
        printf("Starting Kernel at = %x\n", appl);
        cmdline = make_command_line();
-       if(icache_status()){
+       if (icache_status()) {
                flush_instruction_cache();
                icache_disable();
-               }
-       if(dcache_status()){
+       }
+       if (dcache_status()) {
                flush_data_cache();
                dcache_disable();
-               }
-       (*appl)(cmdline);
+       }
+       (*appl) (cmdline);
 }
 
 char *make_command_line(void)
 {
-    char *dest = (char *) CMD_LINE_ADDR;
-    char *bootargs;
+       char *dest = (char *)CMD_LINE_ADDR;
+       char *bootargs;
 
-    if ( (bootargs = getenv("bootargs")) == NULL )
-       return NULL;
+       if ((bootargs = getenv("bootargs")) == NULL)
+               return NULL;
 
-    strncpy(dest, bootargs, 0x1000);
-    dest[0xfff] = 0;
-    return dest;
+       strncpy(dest, bootargs, 0x1000);
+       dest[0xfff] = 0;
+       return dest;
 }