| /* | |
| * (C) Copyright 2012 | |
| * Texas Instruments, <www.ti.com> | |
| * | |
| * SPDX-License-Identifier: GPL-2.0+ | |
| */ | |
| #ifndef _ASM_ARCH_SPL_H_ | |
| #define _ASM_SPL_H_ | |
| #define BOOT_DEVICE_NAND 1 | |
| #define BOOT_DEVICE_SPI 2 | |
| #define BOOT_DEVICE_MMC1 3 | |
| #define BOOT_DEVICE_MMC2 4 /* dummy */ | |
| #define BOOT_DEVICE_MMC2_2 5 /* dummy */ | |
| #endif |