path: root/sys/amd64/include/efi.h
diff options
Diffstat (limited to 'sys/amd64/include/efi.h')
1 files changed, 5 insertions, 17 deletions
diff --git a/sys/amd64/include/efi.h b/sys/amd64/include/efi.h
index c29a1a4d09a8..75d39592e288 100644
--- a/sys/amd64/include/efi.h
+++ b/sys/amd64/include/efi.h
@@ -32,6 +32,8 @@
#ifndef __AMD64_INCLUDE_EFI_H_
#define __AMD64_INCLUDE_EFI_H_
+#include <isa/rtc.h>
* XXX: from gcc 6.2 manual:
* Note, the ms_abi attribute for Microsoft Windows 64-bit targets
@@ -45,22 +47,8 @@
#define EFIABI_ATTR __attribute__((ms_abi))
-#ifdef _KERNEL
-struct uuid;
-struct efi_tm;
-int efi_rt_ok(void);
-int efi_get_table(struct uuid *uuid, void **ptr);
-int efi_get_time(struct efi_tm *tm);
-int efi_get_time_locked(struct efi_tm *tm);
-int efi_reset_system(void);
-int efi_set_time(struct efi_tm *tm);
-int efi_set_time_locked(struct efi_tm *tm);
-int efi_var_get(uint16_t *name, struct uuid *vendor, uint32_t *attrib,
- size_t *datasize, void *data);
-int efi_var_nextname(size_t *namesize, uint16_t *name, struct uuid *vendor);
-int efi_var_set(uint16_t *name, struct uuid *vendor, uint32_t attrib,
- size_t datasize, void *data);
+#define EFI_TIME_LOCK() mtx_lock(&atrtc_time_lock);
+#define EFI_TIME_UNLOCK() mtx_unlock(&atrtc_time_lock);
+#define EFI_TIME_OWNED() mtx_assert(&atrtc_time_lock, MA_OWNED);
#endif /* __AMD64_INCLUDE_EFI_H_ */