-/* LP64 version of struct timespec. time_t is a long and must grow when
- * we're dealing with a 64-bit process.
- * WARNING - keep in sync with struct timespec
- */
-struct user_timespec {
- user_time_t tv_sec; /* seconds */
- int32_t tv_nsec __attribute((aligned(8))); /* and nanoseconds */
-};
-
-#endif
-#endif
-
-
-#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