iPXE
include
ipxe
efi
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
10
FILE_LICENCE
( GPL2_OR_LATER_OR_UBDL );
11
12
#include <
stdint.h
>
13
14
#ifdef TIME_EFI
15
#define TIME_PREFIX_efi
16
#else
17
#define TIME_PREFIX_efi __efi_
18
#endif
19
20
#endif
/* _IPXE_EFI_TIME_H */
stdint.h
FILE_LICENCE
FILE_LICENCE(GPL2_OR_LATER_OR_UBDL)
Generated by
1.8.15