X-Git-Url: https://git.liburcu.org/?a=blobdiff_plain;f=formal-model%2Ffutex-wakeup%2FDEFINES;fp=formal-model%2Ffutex-wakeup%2FDEFINES;h=7c9a54f1d866ed54596a2147254193caebaf729b;hb=d4de486929b21b452a6fd94f2ca6c906c0f6b6b2;hp=0000000000000000000000000000000000000000;hpb=bc6c15bba37d0e6192c006c4d9815201b36d1988;p=urcu.git

diff --git a/formal-model/futex-wakeup/DEFINES b/formal-model/futex-wakeup/DEFINES
new file mode 100644
index 0000000..7c9a54f
--- /dev/null
+++ b/formal-model/futex-wakeup/DEFINES
@@ -0,0 +1 @@
+#define queue_has_entry	(queue == 1)