Andrew Turner d15667174d Use the UEFI event timer to update the time on arm and arm64. The current ... code uses the GetTime function from the Runtime Service, however this has been shown to not return a useable time on many arm64 UEFI implementations. Reviewed by: jhb, smh Sponsored by: ABT Systems Ltd Differential Revision: https://reviews.freebsd.org/D6709		2016-06-04 08:47:45 +00:00
..
delay.c
devpath.c	Add some routines for working with EFI DEVICE_PATH objects.	2016-05-26 21:43:22 +00:00
efi_console.c	It sure would be nice to use printf with wide strings. Implement %S to	2016-05-17 14:10:45 +00:00
efinet.c	Fix unit number of EFI net interfaces and ignore psuedo network interfaces.	2016-05-26 23:32:28 +00:00
efipart.c	If the I/O offset and length is multiple of the media size then	2016-05-27 19:23:15 +00:00
env.c	Implement UEFI set environment variable, as well as exporting the EFI	2016-05-17 21:25:20 +00:00
errno.c
handles.c	Add EFI ZFS boot support	2016-01-15 02:33:47 +00:00
libefi.c	A new implementation of the loader block cache	2016-04-18 23:09:22 +00:00
Makefile	Use the UEFI event timer to update the time on arm and arm64. The current	2016-06-04 08:47:45 +00:00
Makefile.depend	META_MODE: Remove DEP_MACHINE from Makefile.depend files.	2015-09-25 19:44:01 +00:00
time_event.c	Use the UEFI event timer to update the time on arm and arm64. The current	2016-06-04 08:47:45 +00:00
time.c	Use the UEFI event timer to update the time on arm and arm64. The current	2016-06-04 08:47:45 +00:00