iPXE
|
EFI time source. More...
#include <stdint.h>
Go to the source code of this file.
Macros | |
#define | TIME_PREFIX_efi __efi_ |
Functions | |
FILE_LICENCE (GPL2_OR_LATER_OR_UBDL) | |
EFI time source.
Definition in file efi_time.h.
#define TIME_PREFIX_efi __efi_ |
Definition at line 17 of file efi_time.h.
FILE_LICENCE | ( | GPL2_OR_LATER_OR_UBDL | ) |