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