mcs-queue: initial checkin

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

diff --git a/mcs-queue/main.h b/mcs-queue/main.h
new file mode 100644 (file)
index 0000000..8ec3cf9
--- /dev/null
+++ b/mcs-queue/main.h
@@ -0,0 +1,13 @@
+#include <stdio.h>
+#include <sys/param.h>
+#include <sys/types.h>
+#include <sys/times.h>
+#include <sys/types.h>
+#include <sys/ipc.h>
+#include <sys/shm.h>
+#include <signal.h>
+#include <sys/cachectl.h>
+#include <sys/sysmp.h>
+#include <ulocks.h>
+#include <assert.h>
+#include "my_queue.h"