| /* | |
| * U-boot - setup.h | |
| * | |
| * Copyright (c) 2005-2007 Analog Devices Inc. | |
| * | |
| * SPDX-License-Identifier: GPL-2.0+ | |
| */ | |
| #ifndef _SHARED_RESOURCES_H_ | |
| #define _SHARED_RESOURCES_H_ | |
| void swap_to(int device_id); | |
| #define FLASH 0 | |
| #define ETHERNET 1 | |
| #endif /* _SHARED_RESOURCES_H_ */ |