1 /* SPDX-License-Identifier: GPL-2.0+ */
4 * Texas Instruments, <www.ti.com>
6 #ifndef _ASM_ARCH_SPL_H_
7 #define _ASM_ARCH_SPL_H_
9 #define BOOT_DEVICE_NONE 0x00
10 #define BOOT_DEVICE_XIP 0x01
11 #define BOOT_DEVICE_NAND 0x02
12 #define BOOT_DEVICE_ONENAND 0x03
13 #define BOOT_DEVICE_MMC2 0x05
14 #define BOOT_DEVICE_MMC1 0x06
15 #define BOOT_DEVICE_XIPWAIT 0x07
16 #define BOOT_DEVICE_MMC2_2 0x08
17 #define BOOT_DEVICE_UART 0x10
18 #define BOOT_DEVICE_USB 0x11
20 #define MMC_BOOT_DEVICES_START BOOT_DEVICE_MMC2
21 #define MMC_BOOT_DEVICES_END BOOT_DEVICE_MMC1