#include <pthread.h>
#include <assert.h>
#include <limits.h>
-#include <syscall.h>
#include <unistd.h>
+#include <stdint.h>
#include <urcu/compiler.h>
#include <urcu/arch.h>
#include <urcu/system.h>
#include <urcu/uatomic.h>
#include <urcu/list.h>
-#include <urcu/urcu-futex.h>
+#include <urcu/futex.h>
#ifdef __cplusplus
extern "C" {
extern struct rcu_reader __thread rcu_reader;
-extern int gp_futex;
+extern int32_t gp_futex;
/*
* Wake-up waiting synchronize_rcu(). Called from many concurrent threads.