| * (C) Copyright 2014 Xilinx, Inc. Michal Simek |
| * SPDX-License-Identifier: GPL-2.0+ |
| #include <asm/arch/hardware.h> |
| #include <asm/arch/sys_proto.h> |
| void board_init_f(ulong dummy) |
| memset(__bss_start, 0, __bss_end - __bss_start); |
| /* Set global data pointer. */ |
| preloader_console_init(); |
| #ifdef CONFIG_SPL_BOARD_INIT |
| void spl_board_init(void) |
| u32 spl_boot_device(void) |
| switch ((zynq_slcr_get_boot_mode()) & ZYNQ_BM_MASK) { |
| #ifdef CONFIG_SPL_SPI_SUPPORT |
| #ifdef CONFIG_SPL_MMC_SUPPORT |
| puts("Unsupported boot mode selected\n"); |
| #ifdef CONFIG_SPL_MMC_SUPPORT |
| #ifdef CONFIG_SPL_OS_BOOT |
| int spl_start_uboot(void) |
| __weak void ps7_init(void) |
| * This function is overridden by the one in |
| * board/xilinx/zynq/ps7_init.c, if it exists. |