-// enable O_NOATIME
-#define _GNU_SOURCE
-
+#ifdef HAVE_CONFIG_H
+#include <config.h>
+#endif
+#include <sys/syscall.h>
#include <string.h>
#include <ctype.h>
#include <errno.h>
hz = (unsigned int) ticks;
}
+
+pid_t gettid(void)
+{
+ return syscall(SYS_gettid);
+}
+