/* SPDX-License-Identifier: GPL-2.0-or-later */

#ifndef _INTEL_COMMON_RESET_H_
#define _INTEL_COMMON_RESET_H_

/* Prepare for reset, run force_global_reset(), halt. */
__noreturn void global_reset(void);

#endif	/* _INTEL_COMMON_RESET_H_ */