#else /* !__KERNEL__ */
#include <time.h>
-#ifdef HAVE_PTHREAD
+#ifdef HAVE_LIBPTHREAD
#include <pthread.h>
#else
struct timespec {
unsigned long tv_sec;
unsigned long tv_nsec;
};
-#endif /* HAVE_THREAD */
+#endif /* HAVE_LIBPTHREAD */
#include "../user-time.h"