| // SPDX-License-Identifier: GPL-2.0+ |
| * (C) Copyright 2013 - 2014 Xilinx, Inc |
| * Michal Simek <michal.simek@xilinx.com> |
| u32 spl_boot_device(void) |
| /* Board initialization after bss clearance */ |
| void spl_board_init(void) |
| /* enable console uart printing */ |
| preloader_console_init(); |
| #ifdef CONFIG_SPL_OS_BOOT |
| void __noreturn jump_to_image_linux(struct spl_image_info *spl_image) |
| debug("Entering kernel arg pointer: 0x%p\n", spl_image->arg); |
| typedef void (*image_entry_arg_t)(char *, ulong, ulong) |
| __attribute__ ((noreturn)); |
| image_entry_arg_t image_entry = |
| (image_entry_arg_t)spl_image->entry_point; |
| image_entry(NULL, 0, (ulong)spl_image->arg); |
| #endif /* CONFIG_SPL_OS_BOOT */ |
| int spl_start_uboot(void) |
| #ifdef CONFIG_SPL_OS_BOOT |
| int do_reset(cmd_tbl_t *cmdtp, int flag, int argc, char * const argv[]) |
| __asm__ __volatile__ ("mts rmsr, r0;" \ |