/* | |
* (C) Copyright 2008, Tensilica Inc. | |
* | |
* SPDX-License-Identifier: GPL-2.0+ | |
* | |
******************************************************************** | |
* 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 */ |