blob: d334280cc94b948eb7bfc110af52a7180e29d27e [file] [log] [blame]
* Copyright (c) 2011 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.
* Alternatively, this software may be distributed under the terms of the
* GNU General Public License ("GPL") version 2 as published by the Free
* Software Foundation.
/* power management interface for Chrome OS verified boot */
int is_processor_reset(void);
/* Cold reboot the machine */
void cold_reboot(void);
/* Power off the machine */
void power_off(void);