/* Copyright (c) 2013 The Chromium OS Authors. All rights reserved.
 * Use of this source code is governed by a BSD-style license that can be
 * found in the LICENSE file.
 */

/* Emulator self-reboot procedure */

#ifndef __CROS_EC_REBOOT_H
#define __CROS_EC_REBOOT_H

__attribute__((noreturn))
void emulator_reboot(void);

#endif
