#include <stdlib.h>
#include <pthread.h>
+#ifdef __cplusplus
+extern "C" {
+#endif
+
/*
* Note: the defer_rcu() API is currently EXPERIMENTAL. It may change in the
* future.
extern void rcu_defer_barrier(void);
extern void rcu_defer_barrier_thread(void);
+#ifdef __cplusplus
+}
+#endif
+
#endif /* _URCU_BATCH_H */