123456789101112131415161718192021222324252627282930313233343536373839404142 |
- /*
- * Copyright 2012 Stefan Roese <sr@denx.de>
- *
- * See file CREDITS for list of people who contributed to this
- * project.
- *
- * This program is free software; you can redistribute it and/or
- * modify it under the terms of the GNU General Public License as
- * published by the Free Software Foundation; either version 2 of
- * the License, or (at your option) any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- * GNU General Public License for more details.
- */
- #include <common.h>
- #include <config.h>
- #include <spl.h>
- #include <image.h>
- #include <linux/compiler.h>
- DECLARE_GLOBAL_DATA_PTR;
- /*
- * This function jumps to an image with argument. Normally an FDT or ATAGS
- * image.
- * arg: Pointer to paramter image in RAM
- */
- #ifdef CONFIG_SPL_OS_BOOT
- void __noreturn jump_to_image_linux(void *arg)
- {
- debug("Entering kernel arg pointer: 0x%p\n", arg);
- typedef void (*image_entry_arg_t)(void *, ulong r4, ulong r5, ulong r6,
- ulong r7, ulong r8, ulong r9)
- __attribute__ ((noreturn));
- image_entry_arg_t image_entry =
- (image_entry_arg_t)spl_image.entry_point;
- image_entry(arg, 0, 0, EPAPR_MAGIC, CONFIG_SYS_BOOTMAPSZ, 0, 0);
- }
- #endif /* CONFIG_SPL_OS_BOOT */
|