Add nto1 futex wakeup scheme model

[urcu.git] / futex-wakeup / nto1 / DEFINES

diff --git a/futex-wakeup/nto1/DEFINES b/futex-wakeup/nto1/DEFINES
new file mode 100644 (file)
index 0000000..c6d28b2
--- /dev/null
+++ b/futex-wakeup/nto1/DEFINES
@@ -0,0 +1 @@
+#define queue_has_entry                (queue[0] == 1 || queue[1] == 1)