| /* SPDX-License-Identifier: GPL-2.0+ */ | |
| /* | |
| * (C) Copyright 2008, Tensilica Inc. | |
| * | |
| ******************************************************************** | |
| * NOTE: This header file defines an interface to U-Boot. Including | |
| * this (unmodified) header file in another file is considered normal | |
| * use of U-Boot, and does *not* fall under the heading of "derived | |
| * work". | |
| ******************************************************************** | |
| */ | |
| #ifndef _XTENSA_MISC_H | |
| #define _XTENSA_MISC_H | |
| /* Used in cpu/xtensa/cpu.c */ | |
| void board_reset(void); | |
| #endif /* _XTENSA_MISC_H */ |