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 */ 17void board_reset(void); 18 19#endif /* _XTENSA_MISC_H */ 20