1/* SPDX-License-Identifier: GPL-2.0+ */ 2/* 3 * (C) Copyright 2012 4 * Texas Instruments, <www.ti.com> 5 */ 6#ifndef _ASM_ARCH_SPL_H_ 7#define _ASM_ARCH_SPL_H_ 8 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 19 20#define MMC_BOOT_DEVICES_START BOOT_DEVICE_MMC2 21#define MMC_BOOT_DEVICES_END BOOT_DEVICE_MMC1 22#endif 23