diff options
| author | Michael Brown <mcb30@ipxe.org> | 2013-03-22 13:42:16 +0000 |
|---|---|---|
| committer | Michael Brown <mcb30@ipxe.org> | 2013-03-22 13:44:02 +0000 |
| commit | 71cd50883896dc043f1025a3b96f3c0c7f3b2184 (patch) | |
| tree | 0d8ec2942571e93d5dfc96e2ac8ff08823735ceb /src/include/ipxe/efi | |
| parent | 11ad0bafbf137a874f88ac810520acb90fa9a990 (diff) | |
| download | ipxe-71cd50883896dc043f1025a3b96f3c0c7f3b2184.zip ipxe-71cd50883896dc043f1025a3b96f3c0c7f3b2184.tar.gz ipxe-71cd50883896dc043f1025a3b96f3c0c7f3b2184.tar.bz2 | |
[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 0000000..33921b9 --- /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 */ |