1 files changed, 23 insertions, 0 deletions
diff --git a/pfinet/linux/wait.h b/pfinet/linux/wait.h
new file mode 100644
index 00000000..15759ad2
--- /dev/null
+++ b/pfinet/linux/wait.h
@@ -0,0 +1,23 @@
+#ifndef _HACK_WAIT_H_
+#define _HACK_WAIT_H_
+
+#include <cthreads.h>
+
+struct wait_queue
+{
+  struct condition c;
+};
+
+struct select_table_elt
+{
+  struct condition *dependent_condition;
+  struct select_table_elt *next;
+};
+
+typedef struct select_table_struct
+{
+  struct condition master_condition;
+  struct select_table_elt *head;
+} select_table;
+
+#endif