#include <stdlib.h>
#include <pthread.h>
+#include <assert.h>
#include <compiler.h>
#include <arch.h>
*/
#define KICK_READER_LOOPS 10000
+#ifdef DEBUG_RCU
+#define rcu_assert(args...) assert(args)
+#else
+#define rcu_assert(args...)
+#endif
+
#ifdef DEBUG_YIELD
#include <sched.h>
#include <time.h>
static inline void _rcu_read_lock(void)
{
+ rcu_assert(rcu_reader_qs_gp & 1);
}
static inline void _rcu_read_unlock(void)