mcs-queue: modifications for compiling

[model-checker-benchmarks.git] / mcs-queue / my_queue.h

diff --git a/mcs-queue/my_queue.h b/mcs-queue/my_queue.h
index 385db65ad289b506e8cd754543acdd998cc11f96..80e695829d9954b6f4a81860ca26d6c48e75a5d4 100644 (file)
--- a/mcs-queue/my_queue.h
+++ b/mcs-queue/my_queue.h
@@ -1,6 +1,5 @@
 #define TRUE                           1
 #define FALSE                          0
-#define NULL                           0
 
 #define MAX_NODES                      0xff
 #define MAX_SERIAL                     10000
@@ -35,3 +34,8 @@ typedef struct shared_mem {
        node_t nodes[MAX_NODES+1];
        unsigned serial;
 } shared_mem_t;
+
+void init_private();
+void init_memory();
+void init_queue();
+unsigned dequeue();