+#include <stdlib.h>
+#include <sys/time.h>
+
+/*
+ * Define the membarrier system call number if not yet available in the
+ * system headers. tile implements asm-generic/unistd.h system call
+ * numbers.
+ */
+#ifndef __NR_membarrier
+#define __NR_membarrier 283
+#endif
+
+#ifdef __cplusplus
+}
+#endif
+
+#include <urcu/arch/generic.h>
+