X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=ms-queue%2Fqueue.h;fp=ms-queue%2Fqueue.h;h=93ee924115393fd496231a52c41e7dfc2991680d;hb=357cc2d31eaf9df96c2fc676fa00f40a54e83019;hp=76e217ba4816dc144ce8939012bda4817520192d;hpb=2e8cf83a7015535e33eb8ccf14586ea59fa9776a;p=model-checker-benchmarks.git

diff --git a/ms-queue/queue.h b/ms-queue/queue.h
index 76e217b..93ee924 100644
--- a/ms-queue/queue.h
+++ b/ms-queue/queue.h
@@ -26,9 +26,7 @@ typedef struct {
 } queue_t;
 
 void init_queue(queue_t *q, int num_threads);
-void enqueue(queue_t *q, unsigned int val, bool yield);
+void enqueue(queue_t *q, unsigned int val, int n);
 bool dequeue(queue_t *q, unsigned int *retVal, unsigned int *reclaimedNode);
 
-void simulateRecycledNodeUpdate(queue_t *q, unsigned int node);
-
 int get_thread_num();