X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=blobdiff_plain;f=mcs-queue%2Fmy_queue.h;h=80e695829d9954b6f4a81860ca26d6c48e75a5d4;hp=385db65ad289b506e8cd754543acdd998cc11f96;hb=e4a48c7b09fa1ba3757aa6eb7e3df2513549b6b6;hpb=9071d66d8691dfeefc09ddb7540d75cfb116efe6;ds=sidebyside

diff --git a/mcs-queue/my_queue.h b/mcs-queue/my_queue.h
index 385db65..80e6958 100644
--- 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();