diff options
| author | Michael Brown | 2013-03-22 14:42:16 +0100 |
|---|---|---|
| committer | Michael Brown | 2013-03-22 14:44:02 +0100 |
| commit | 71cd50883896dc043f1025a3b96f3c0c7f3b2184 (patch) | |
| tree | 0d8ec2942571e93d5dfc96e2ac8ff08823735ceb /src/include/ipxe/efi | |
| parent | [build] Avoid strict-aliasing warning for gcc 4.3 (diff) | |
| download | ipxe-71cd50883896dc043f1025a3b96f3c0c7f3b2184.tar.gz ipxe-71cd50883896dc043f1025a3b96f3c0c7f3b2184.tar.xz ipxe-71cd50883896dc043f1025a3b96f3c0c7f3b2184.zip | |
[efi] Add "reboot" command for EFI
Abstract out the ability to reboot the system to a separate reboot()
function (with platform-specific implementations), add an EFI
implementation, and make the existing "reboot" command available under
EFI.
Signed-off-by: Michael Brown <mcb30@ipxe.org>
Diffstat (limited to 'src/include/ipxe/efi')
| -rw-r--r-- | src/include/ipxe/efi/efi_reboot.h | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/src/include/ipxe/efi/efi_reboot.h b/src/include/ipxe/efi/efi_reboot.h new file mode 100644 index 000000000..33921b913 --- /dev/null +++ b/src/include/ipxe/efi/efi_reboot.h @@ -0,0 +1,18 @@ +#ifndef _IPXE_EFI_REBOOT_H +#define _IPXE_EFI_REBOOT_H + +/** @file + * + * iPXE reboot API for EFI + * + */ + +FILE_LICENCE ( GPL2_OR_LATER ); + +#ifdef REBOOT_EFI +#define REBOOT_PREFIX_efi +#else +#define REBOOT_PREFIX_efi __efi_ +#endif + +#endif /* _IPXE_EFI_REBOOT_H */ |