bootm.c (83653121d7382fccfe329cb732f77f116341ef1d) bootm.c (54841ab50c20d6fa6c9cc3eb826989da3a22d934)
1/*
2 * (C) Copyright 2003
3 * Wolfgang Denk, DENX Software Engineering, wd@denx.de.
4 *
5 * (c) Copyright 2008 Nobuhiro Iwamatsu <iwamatsu.nobuhiro@renesas.com>
6 * (c) Copyright 2008 Renesas Solutions Corp.
7 *
8 * See file CREDITS for list of people who contributed to this

--- 29 unchanged lines hidden (view full) ---

38 printf("%s%08x: ", i ? "\n" : "",
39 (unsigned int)&buf[i]);
40 printf("%02x ", buf[i]);
41 }
42 printf("\n");
43}
44#endif
45
1/*
2 * (C) Copyright 2003
3 * Wolfgang Denk, DENX Software Engineering, wd@denx.de.
4 *
5 * (c) Copyright 2008 Nobuhiro Iwamatsu <iwamatsu.nobuhiro@renesas.com>
6 * (c) Copyright 2008 Renesas Solutions Corp.
7 *
8 * See file CREDITS for list of people who contributed to this

--- 29 unchanged lines hidden (view full) ---

38 printf("%s%08x: ", i ? "\n" : "",
39 (unsigned int)&buf[i]);
40 printf("%02x ", buf[i]);
41 }
42 printf("\n");
43}
44#endif
45
46int do_bootm_linux(int flag, int argc, char *argv[], bootm_headers_t *images)
46int do_bootm_linux(int flag, int argc, char * const argv[], bootm_headers_t *images)
47{
48 /* Linux kernel load address */
49 void (*kernel) (void) = (void (*)(void))images->ep;
50 /* empty_zero_page */
51 unsigned char *param
52 = (unsigned char *)image_get_load(images->legacy_hdr_os);
53 /* Linux kernel command line */
54 char *cmdline = (char *)param + 0x100;

--- 16 unchanged lines hidden --- 		47{
48 /* Linux kernel load address */
49 void (*kernel) (void) = (void (*)(void))images->ep;
50 /* empty_zero_page */
51 unsigned char *param
52 = (unsigned char *)image_get_load(images->legacy_hdr_os);
53 /* Linux kernel command line */
54 char *cmdline = (char *)param + 0x100;

--- 16 unchanged lines hidden ---