iPXE
include
ipxe
efi
efi_reboot.h
Go to the documentation of this file.
1
#ifndef _IPXE_EFI_REBOOT_H
2
#define _IPXE_EFI_REBOOT_H
3
4
/** @file
5
*
6
* iPXE reboot API for EFI
7
*
8
*/
9
10
FILE_LICENCE
( GPL2_OR_LATER_OR_UBDL );
11
12
#ifdef REBOOT_EFI
13
#define REBOOT_PREFIX_efi
14
#else
15
#define REBOOT_PREFIX_efi __efi_
16
#endif
17
18
#endif
/* _IPXE_EFI_REBOOT_H */
FILE_LICENCE
FILE_LICENCE(GPL2_OR_LATER_OR_UBDL)
Generated by
1.8.15