1 /* SPDX-License-Identifier: GPL-2.0+ */
3 * (C) Copyright 2008, Tensilica Inc.
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
10 ********************************************************************
13 #ifndef _XTENSA_MISC_H
14 #define _XTENSA_MISC_H
16 /* Used in cpu/xtensa/cpu.c */
17 void board_reset(void);
19 #endif /* _XTENSA_MISC_H */