[efi] Add EFI time source

Signed-off-by: Michael Brown <mcb30@ipxe.org>
This commit is contained in:
Michael Brown
2015-04-14 11:55:08 +01:00
parent eb2252fd7a
commit 6567511c3d
5 changed files with 98 additions and 1 deletions

View File

@@ -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 */

View File

@@ -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 )
/** @} */

View File

@@ -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 */