iPXE
efi_time.h
Go to the documentation of this file.
1#ifndef _IPXE_EFI_TIME_H
2#define _IPXE_EFI_TIME_H
3
4/** @file
5 *
6 * EFI time source
7 *
8 */
9
10FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
11FILE_SECBOOT ( PERMITTED );
12
13#include <stdint.h>
14
15#ifdef TIME_EFI
16#define TIME_PREFIX_efi
17#else
18#define TIME_PREFIX_efi __efi_
19#endif
20
21#endif /* _IPXE_EFI_TIME_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