iPXE
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
10FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
11FILE_SECBOOT ( PERMITTED );
12
13#ifdef REBOOT_EFI
14#define REBOOT_PREFIX_efi
15#else
16#define REBOOT_PREFIX_efi __efi_
17#endif
18
19#endif /* _IPXE_EFI_REBOOT_H */
FILE_LICENCE
#define FILE_LICENCE(_licence)
Declare a particular licence as applying to a file.
Definition compiler.h:896
FILE_SECBOOT
#define FILE_SECBOOT(_status)
Declare a file's UEFI Secure Boot permission status.
Definition compiler.h:926
Generated by doxygen 1.14.0