1 /* SPDX-License-Identifier: GPL-2.0+ */
2 /*
3  * (C) Copyright 2008, Tensilica Inc.
4  *
5  ********************************************************************
6  * NOTE: This header file defines an interface to U-Boot. Including
7  * this (unmodified) header file in another file is considered normal
8  * use of U-Boot, and does *not* fall under the heading of "derived
9  * work".
10  ********************************************************************
11  */
12 
13 #ifndef _XTENSA_MISC_H
14 #define _XTENSA_MISC_H
15 
16 /* Used in cpu/xtensa/cpu.c */
17 void board_reset(void);
18 
19 #endif	/* _XTENSA_MISC_H */
20