*
* Userspace RCU library - RCU Judy Array Internal Header
*
- * Copyright 2012 - Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
+ * Copyright (C) 2000 - 2002 Hewlett-Packard Company
+ * Copyright 2012-2013 - Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public
for (; (pos) != NULL; (pos) = (pos)->next)
//#define DEBUG
+//#define DEBUG_COUNTERS
#ifdef __linux__
#include <syscall.h>
fprintf(stderr, "[debug rcuja %lu %s()@%s:%u] " fmt, \
(unsigned long) gettid(), __func__, \
__FILE__, __LINE__, ## args)
+
#else
#define dbg_printf(fmt, args...) \
do { \
} while (0)
#endif
+#ifdef DEBUG_COUNTERS
+static inline
+int ja_debug_counters(void)
+{
+ return 1;
+}
+#else
+static inline
+int ja_debug_counters(void)
+{
+ return 0;
+}
+#endif
+
#endif /* _URCU_RCUJA_INTERNAL_H */