#include <common.h>
+#include <bootstage.h>
+#include <cpu_func.h>
#include <env.h>
+#include <init.h>
+#include <lmb.h>
#include <watchdog.h>
#include <command.h>
#include <image.h>
return 0;
}
-noinline
-int do_bootm_linux(int flag, int argc, char * const argv[], bootm_headers_t *images)
+noinline int do_bootm_linux(int flag, int argc, char *const argv[],
+ bootm_headers_t *images)
{
int ret;