| /* |
| * 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 */ |
| |
| #ifndef CHROMEOS_POWER_MANAGEMENT_H_ |
| #define CHROMEOS_POWER_MANAGEMENT_H_ |
| |
| int is_processor_reset(void); |
| |
| /* Cold reboot the machine */ |
| void cold_reboot(void); |
| |
| /* Power off the machine */ |
| void power_off(void); |
| |
| #endif /* CHROMEOS_POWER_MANAGEMENT_H_ */ |