3 * Texas Instruments, <www.ti.com>
5 * SPDX-License-Identifier: GPL-2.0+
7 #ifndef _ASM_ARCH_SPL_H_
10 #define BOOT_DEVICE_NAND 1
11 #define BOOT_DEVICE_SPI 2
12 #define BOOT_DEVICE_MMC1 3
13 #define BOOT_DEVICE_MMC2 4 /* dummy */
14 #define BOOT_DEVICE_MMC2_2 5 /* dummy */