iPXE
time.h
Go to the documentation of this file.
1#ifndef _BITS_TIME_H
2#define _BITS_TIME_H
3
4/** @file
5 *
6 * Dummy architecture-specific time API implementations
7 *
8 * This file is included only if the architecture does not provide its
9 * own version of this file.
10 *
11 */
12
13FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
14FILE_SECBOOT ( PERMITTED );
15
16#endif /* _BITS_TIME_H */
#define FILE_LICENCE(_licence)
Declare a particular licence as applying to a file.
Definition compiler.h:896
#define FILE_SECBOOT(_status)
Declare a file's UEFI Secure Boot permission status.
Definition compiler.h:926