svn commit: r324191 - head/sys/amd64/include

[Konstantin Belousov]

Author: kib
Date: Mon Oct  2 08:37:43 2017
New Revision: 324191
URL: https://svnweb.freebsd.org/changeset/base/324191

Log:
  Hide kernel stuff from userspace.
  
  Sponsored by:	Mellanox Technologies

Modified:
  head/sys/amd64/include/efi.h

Modified: head/sys/amd64/include/efi.h
==============================================================================
--- head/sys/amd64/include/efi.h	Mon Oct  2 07:30:21 2017	(r324190)
+++ head/sys/amd64/include/efi.h	Mon Oct  2 08:37:43 2017	(r324191)
@@ -32,8 +32,6 @@
 #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
@@ -47,8 +45,12 @@
 #define	EFIABI_ATTR	__attribute__((ms_abi))
 #endif
 
+#ifdef _KERNEL
+#include <isa/rtc.h>
+
 #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
 
 #endif /* __AMD64_INCLUDE_EFI_H_ */