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