microblaze: bootm: Fix coding style issues
[platform/kernel/u-boot.git] / arch / microblaze / lib / bootm.c
1 /*
2  * (C) Copyright 2007 Michal Simek
3  * (C) Copyright 2004 Atmark Techno, Inc.
4  *
5  * Michal  SIMEK <monstr@monstr.eu>
6  * Yasushi SHOJI <yashi@atmark-techno.com>
7  *
8  * See file CREDITS for list of people who contributed to this
9  * project.
10  *
11  * This program is free software; you can redistribute it and/or
12  * modify it under the terms of the GNU General Public License as
13  * published by the Free Software Foundation; either version 2 of
14  * the License, or (at your option) any later version.
15  *
16  * This program is distributed in the hope that it will be useful,
17  * but WITHOUT ANY WARRANTY; without even the implied warranty of
18  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
19  * GNU General Public License for more details.
20  *
21  * You should have received a copy of the GNU General Public License
22  * along with this program; if not, write to the Free Software
23  * Foundation, Inc., 59 Temple Place, Suite 330, Boston,
24  * MA 02111-1307 USA
25  */
26
27 #include <common.h>
28 #include <command.h>
29 #include <image.h>
30 #include <u-boot/zlib.h>
31 #include <asm/byteorder.h>
32
33 DECLARE_GLOBAL_DATA_PTR;
34
35 int do_bootm_linux(int flag, int argc, char * const argv[],
36                    bootm_headers_t *images)
37 {
38         /* First parameter is mapped to $r5 for kernel boot args */
39         void    (*thekernel) (char *, ulong, ulong);
40         char    *commandline = getenv("bootargs");
41         ulong   rd_data_start, rd_data_end;
42
43         if ((flag != 0) && (flag != BOOTM_STATE_OS_GO))
44                 return 1;
45
46         int     ret;
47
48         char    *of_flat_tree = NULL;
49 #if defined(CONFIG_OF_LIBFDT)
50         /* did generic code already find a device tree? */
51         if (images->ft_len)
52                 of_flat_tree = images->ft_addr;
53 #endif
54
55         thekernel = (void (*)(char *, ulong, ulong))images->ep;
56
57         /* find ramdisk */
58         ret = boot_get_ramdisk(argc, argv, images, IH_ARCH_MICROBLAZE,
59                         &rd_data_start, &rd_data_end);
60         if (ret)
61                 return 1;
62
63         bootstage_mark(BOOTSTAGE_ID_RUN_OS);
64
65         if (!of_flat_tree && argc > 3)
66                 of_flat_tree = (char *)simple_strtoul(argv[3], NULL, 16);
67 #ifdef DEBUG
68         printf("## Transferring control to Linux (at address 0x%08lx) ",
69                (ulong)thekernel);
70         printf("ramdisk 0x%08lx, FDT 0x%08lx...\n",
71                rd_data_start, (ulong) of_flat_tree);
72 #endif
73
74 #ifdef XILINX_USE_DCACHE
75         flush_cache(0, XILINX_DCACHE_BYTE_SIZE);
76 #endif
77         /*
78          * Linux Kernel Parameters (passing device tree):
79          * r5: pointer to command line
80          * r6: pointer to ramdisk
81          * r7: pointer to the fdt, followed by the board info data
82          */
83         thekernel(commandline, rd_data_start, (ulong)of_flat_tree);
84         /* does not return */
85
86         return 1;
87 }