From 6567511c3d2fe80a5fd8db28b75eadd81ef6316c Mon Sep 17 00:00:00 2001 From: Michael Brown Date: Tue, 14 Apr 2015 11:55:08 +0100 Subject: [efi] Add EFI time source Signed-off-by: Michael Brown --- src/include/ipxe/efi/efi_time.h | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 src/include/ipxe/efi/efi_time.h (limited to 'src/include/ipxe/efi') diff --git a/src/include/ipxe/efi/efi_time.h b/src/include/ipxe/efi/efi_time.h new file mode 100644 index 000000000..099994b57 --- /dev/null +++ b/src/include/ipxe/efi/efi_time.h @@ -0,0 +1,20 @@ +#ifndef _IPXE_EFI_TIME_H +#define _IPXE_EFI_TIME_H + +/** @file + * + * EFI time source + * + */ + +FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL ); + +#include + +#ifdef TIME_EFI +#define TIME_PREFIX_efi +#else +#define TIME_PREFIX_efi __efi_ +#endif + +#endif /* _IPXE_EFI_TIME_H */ -- cgit v1.2.3-55-g7522