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