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/arch/x86_64 | |
| parent | 11ad0bafbf137a874f88ac810520acb90fa9a990 (diff) | |
| download | ipxe-71cd50883896dc043f1025a3b96f3c0c7f3b2184.tar.gz | |
[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/arch/x86_64')
| -rw-r--r-- | src/arch/x86_64/include/bits/reboot.h | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/arch/x86_64/include/bits/reboot.h b/src/arch/x86_64/include/bits/reboot.h new file mode 100644 index 000000000..f1bce0540 --- /dev/null +++ b/src/arch/x86_64/include/bits/reboot.h @@ -0,0 +1,12 @@ +#ifndef _BITS_REBOOT_H +#define _BITS_REBOOT_H + +/** @file + * + * x86_64-specific reboot API implementations + * + */ + +FILE_LICENCE ( GPL2_OR_LATER ); + +#endif /* _BITS_REBOOT_H */ |