| // SPDX-License-Identifier: GPL-2.0+ |
| * NVIDIA Inc, <www.nvidia.com> |
| * Allen Martin <amartin@nvidia.com> |
| #include <asm/arch/clock.h> |
| #include <asm/arch/pinmux.h> |
| #include <asm/arch/tegra.h> |
| #include <asm/arch-tegra/apb_misc.h> |
| #include <asm/arch-tegra/board.h> |
| void spl_board_init(void) |
| struct apb_misc_pp_ctlr *apb_misc = |
| (struct apb_misc_pp_ctlr *)NV_PA_APB_MISC_BASE; |
| writel(0xC0, &apb_misc->cfg_ctl); |
| /* Initialize periph GPIOs */ |
| preloader_console_init(); |
| u32 spl_boot_device(void) |
| void __noreturn jump_to_image_no_args(struct spl_image_info *spl_image) |
| debug("image entry point: 0x%lX\n", spl_image->entry_point); |
| start_cpu((u32)spl_image->entry_point); |