/*
 * (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 */
