arch/powerpc/lib/spl.c

   1 /*
   2  * Copyright 2012 Stefan Roese <sr@denx.de>
   3  *
   4  * SPDX-License-Identifier:     GPL-2.0+
   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 */