| Stefan Roese | ec90d34 | 2012-08-23 08:34:21 +0200 | [diff] [blame] | 1 | /* |
| 2 | * Copyright 2012 Stefan Roese <sr@denx.de> |
| 3 | * |
| Wolfgang Denk | d79de1d | 2013-07-08 09:37:19 +0200 | [diff] [blame] | 4 | * SPDX-License-Identifier: GPL-2.0+ |
| Stefan Roese | ec90d34 | 2012-08-23 08:34:21 +0200 | [diff] [blame] | 5 | */ |
| 6 | #include <common.h> |
| 7 | #include <config.h> |
| 8 | #include <spl.h> |
| 9 | #include <image.h> |
| 10 | #include <linux/compiler.h> |
| 11 | |
| 12 | DECLARE_GLOBAL_DATA_PTR; |
| 13 | |
| 14 | /* |
| 15 | * This function jumps to an image with argument. Normally an FDT or ATAGS |
| 16 | * image. |
| 17 | * arg: Pointer to paramter image in RAM |
| 18 | */ |
| 19 | #ifdef CONFIG_SPL_OS_BOOT |
| 20 | void __noreturn jump_to_image_linux(void *arg) |
| 21 | { |
| 22 | debug("Entering kernel arg pointer: 0x%p\n", arg); |
| 23 | typedef void (*image_entry_arg_t)(void *, ulong r4, ulong r5, ulong r6, |
| 24 | ulong r7, ulong r8, ulong r9) |
| 25 | __attribute__ ((noreturn)); |
| 26 | image_entry_arg_t image_entry = |
| 27 | (image_entry_arg_t)spl_image.entry_point; |
| 28 | |
| 29 | image_entry(arg, 0, 0, EPAPR_MAGIC, CONFIG_SYS_BOOTMAPSZ, 0, 0); |
| 30 | } |
| 31 | #endif /* CONFIG_SPL_OS_BOOT */ |