|
/*
|
|
* 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_ */
|