* under the terms of the license (GNU LGPL) which comes with this package. */
#include "gras_config.h"
#include <unistd.h>
+#ifndef _XBT_WIN32
#include <sys/syscall.h>
+#endif
+
#ifdef HAVE_FUTEX_H
#include <linux/futex.h>
#else
#else
void xbt_barrier_wait(xbt_barrier_t barrier)
{
- int myflag = 0;
- unsigned int mycount = 0;
-
xbt_os_mutex_acquire(barrier->mutex);
barrier->thread_count++;