iPXE
efi_reboot.c
Go to the documentation of this file.
1 /*
2  * Copyright (C) 2013 Michael Brown <mbrown@fensystems.co.uk>.
3  *
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.
8  *
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.
13  *
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
17  * 02110-1301, USA.
18  *
19  * You can also choose to distribute this program under the terms of
20  * the Unmodified Binary Distribution Licence (as given in the file
21  * COPYING.UBDL), provided that you have satisfied its requirements.
22  */
23 
24 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
25 
26 /**
27  * @file
28  *
29  * EFI reboot mechanism
30  *
31  */
32 
33 #include <errno.h>
34 #include <ipxe/efi/efi.h>
35 #include <ipxe/reboot.h>
36 
37 /**
38  * Reboot system
39  *
40  * @v warm Perform a warm reboot
41  */
42 static void efi_reboot ( int warm ) {
44 
45  /* Use runtime services to reset system */
46  rs->ResetSystem ( ( warm ? EfiResetWarm : EfiResetCold ), 0, 0, NULL );
47 }
48 
49 /**
50  * Power off system
51  *
52  * @ret rc Return status code
53  */
54 static int efi_poweroff ( void ) {
56 
57  /* Use runtime services to power off system */
58  rs->ResetSystem ( EfiResetShutdown, 0, 0, NULL );
59 
60  /* Should never happen */
61  return -ECANCELED;
62 }
63 
Error codes.
static int efi_poweroff(void)
Power off system.
Definition: efi_reboot.c:54
#define ECANCELED
Operation canceled.
Definition: errno.h:343
iPXE reboot API
int poweroff(void)
Power off system.
Used to induce a system-wide reset.
Used to induce a system-wide initialization.
PROVIDE_REBOOT(efi, reboot, efi_reboot)
EFI Runtime Services Table.
Definition: UefiSpec.h:1784
EFI_RESET_SYSTEM ResetSystem
Definition: UefiSpec.h:1815
Used to induce an entry into a power state equivalent to the ACPI G2/S5 or G3 state.
EFI API.
EFI_RUNTIME_SERVICES * RuntimeServices
A pointer to the EFI Runtime Services Table.
Definition: UefiSpec.h:1996
static void efi_reboot(int warm)
Reboot system.
Definition: efi_reboot.c:42
void reboot(int warm)
Reboot system.
EFI_SYSTEM_TABLE * efi_systab
FILE_LICENCE(GPL2_OR_LATER_OR_UBDL)
#define NULL
NULL pointer (VOID *)
Definition: Base.h:362