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 <mcb30@ipxe.org>
---
 src/include/ipxe/efi/efi_time.h | 20 ++++++++++++++++++++
 src/include/ipxe/errfile.h      |  1 +
 src/include/ipxe/time.h         |  1 +
 3 files changed, 22 insertions(+)
 create mode 100644 src/include/ipxe/efi/efi_time.h

(limited to 'src/include')

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 <stdint.h>
+
+#ifdef TIME_EFI
+#define TIME_PREFIX_efi
+#else
+#define TIME_PREFIX_efi __efi_
+#endif
+
+#endif /* _IPXE_EFI_TIME_H */
diff --git a/src/include/ipxe/errfile.h b/src/include/ipxe/errfile.h
index e43eec269..3b3efd2e1 100644
--- a/src/include/ipxe/errfile.h
+++ b/src/include/ipxe/errfile.h
@@ -320,6 +320,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 #define ERRFILE_efi_utils	      ( ERRFILE_OTHER | 0x00450000 )
 #define ERRFILE_efi_wrap	      ( ERRFILE_OTHER | 0x00460000 )
 #define ERRFILE_vmbus		      ( ERRFILE_OTHER | 0x00470000 )
+#define ERRFILE_efi_time	      ( ERRFILE_OTHER | 0x00480000 )
 
 /** @} */
 
diff --git a/src/include/ipxe/time.h b/src/include/ipxe/time.h
index 025280d89..4c5bb2a00 100644
--- a/src/include/ipxe/time.h
+++ b/src/include/ipxe/time.h
@@ -44,6 +44,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
 /* Include all architecture-independent time API headers */
 #include <ipxe/null_time.h>
+#include <ipxe/efi/efi_time.h>
 #include <ipxe/linux/linux_time.h>
 
 /* Include all architecture-dependent time API headers */
-- 
cgit v1.2.3-55-g7522