#include <pthread.h>
/*
+ * Note: the defer_rcu() API is currently EXPERIMENTAL. It may change in the
+ * future.
+ *
* Important !
*
* Each thread queuing memory reclamation must be registered with
* primitive need to call synchronize_rcu() if the thread queue is full.
*/
-#define rcu_reclaim_queue(p) defer_rcu(free, p)
-
extern void defer_rcu(void (*fct)(void *p), void *p);
/*