2 * (C) Copyright 2014 Xilinx, Inc. Michal Simek
4 * SPDX-License-Identifier: GPL-2.0+
6 #ifndef _ASM_ARCH_SPL_H_
7 #define _ASM_ARCH_SPL_H_
9 extern void ps7_init(void);
11 #define BOOT_DEVICE_NONE 0
12 #define BOOT_DEVICE_RAM 1
13 #define BOOT_DEVICE_SPI 2
14 #define BOOT_DEVICE_MMC1 3
15 #define BOOT_DEVICE_MMC2 4
16 #define BOOT_DEVICE_MMC2_2 5