iPXE
reboot.h
Go to the documentation of this file.
1 #ifndef _BITS_REBOOT_H
2 #define _BITS_REBOOT_H
3 
4 /** @file
5  *
6  * x86-specific reboot API implementations
7  *
8  */
9 
10 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
11 
12 #include <ipxe/bios_reboot.h>
13 
14 #endif /* _BITS_REBOOT_H */
FILE_LICENCE(GPL2_OR_LATER_OR_UBDL)
Standard PC-BIOS reboot mechanism.