-#ifndef FD_COPY
-#define FD_COPY(f, t) __DARWIN_FD_COPY(f, t)
-#endif /* FD_COPY */
-
-#ifdef KERNEL
-#ifndef _USERTIMEVAL
-#define _USERTIMEVAL
-
-#include <machine/types.h> /* user_time_t */
-/*
- * LP64 version of struct timeval. time_t is a long and must grow when
- * we're dealing with a 64-bit process.
- * WARNING - keep in sync with struct timeval
- */
-
-struct user_timeval {
- user_time_t tv_sec; /* seconds */
- suseconds_t tv_usec __attribute((aligned(8))); /* and microseconds */
-};
-
-struct user_itimerval {
- struct user_timeval it_interval; /* timer interval */
- struct user_timeval it_value; /* current value */
-};
-
-#endif /* _USERTIMEVAL */
-#endif /* KERNEL */