2 * Copyright (C) 2013 Michael Brown <mbrown@fensystems.co.uk>.
4 * This program is free software; you can redistribute it and/or
5 * modify it under the terms of the GNU General Public License as
6 * published by the Free Software Foundation; either version 2 of the
7 * License, or any later version.
9 * This program is distributed in the hope that it will be useful, but
10 * WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
12 * General Public License for more details.
14 * You should have received a copy of the GNU General Public License
15 * along with this program; if not, write to the Free Software
16 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
20 FILE_LICENCE ( GPL2_OR_LATER );
25 * EFI reboot mechanism
30 #include <ipxe/efi/efi.h>
31 #include <ipxe/reboot.h>
36 * @v warm Perform a warm reboot
38 static void efi_reboot ( int warm ) {
39 EFI_RUNTIME_SERVICES *rs = efi_systab->RuntimeServices;
41 /* Use runtime services to reset system */
42 rs->ResetSystem ( ( warm ? EfiResetWarm : EfiResetCold ), 0, 0, NULL );
48 * @ret rc Return status code
50 static int efi_poweroff ( void ) {
51 EFI_RUNTIME_SERVICES *rs = efi_systab->RuntimeServices;
53 /* Use runtime services to power off system */
54 rs->ResetSystem ( EfiResetShutdown, 0, 0, NULL );
56 /* Should never happen */
60 PROVIDE_REBOOT ( efi, reboot, efi_reboot );
61 PROVIDE_REBOOT ( efi, poweroff, efi_poweroff );