Index: sys/sys/time.h
===================================================================
--- sys/sys/time.h	(revision 247719)
+++ sys/sys/time.h	(working copy)
@@ -109,6 +109,8 @@
 	    ((a)->frac cmp (b)->frac) :					\
 	    ((a)->sec cmp (b)->sec))
 
+#ifdef _KERNEL
+
 #define	SBT_1S	((sbintime_t)1 << 32)
 #define	SBT_1M	(SBT_1S * 60)
 #define	SBT_1MS	(SBT_1S / 1000)
@@ -139,6 +141,8 @@
 	return (bt);
 }
 
+#endif /* _KERNEL */
+
 /*-
  * Background information:
  *
@@ -187,6 +191,8 @@
 	bt->frac = tv->tv_usec * (uint64_t)18446744073709LL;
 }
 
+#ifdef _KERNEL
+
 static __inline struct timespec
 sbttots(sbintime_t sbt)
 {
@@ -222,6 +228,7 @@
 	return (((sbintime_t)tv.tv_sec << 32) +
 	    (tv.tv_usec * (((uint64_t)1 << 63) / 500000) >> 32));
 }
+#endif /* _KERNEL */
 #endif /* __BSD_VISIBLE */
 
 #ifdef _KERNEL