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