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 * x86-specific time API implementations
7 *
8 */
9
10FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
11FILE_SECBOOT ( PERMITTED );
12
13#include <ipxe/rtc_time.h>
14
15#endif /* _BITS_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
rtc_time.h
RTC-based time source.
Generated by doxygen 1.14.0