|
@@ -88,11 +88,11 @@ static void boot_jump_linux(bootm_headers_t *images, int flag)
|
|
|
r2 = (unsigned int)env_get("bootargs");
|
|
|
}
|
|
|
|
|
|
- smp_set_core_boot_addr((unsigned long)kernel_entry, -1);
|
|
|
- smp_kick_all_cpus();
|
|
|
-
|
|
|
- if (!fake)
|
|
|
+ if (!fake) {
|
|
|
+ smp_set_core_boot_addr((unsigned long)kernel_entry, -1);
|
|
|
+ smp_kick_all_cpus();
|
|
|
kernel_entry(r0, 0, r2);
|
|
|
+ }
|
|
|
}
|
|
|
|
|
|
int do_bootm_linux(int flag, int argc, char *argv[], bootm_headers_t *images)
|