1 files changed, 32 insertions, 0 deletions
diff --git a/pfinet/glue-include/linux/wait.h b/pfinet/glue-include/linux/wait.h
new file mode 100644
index 00000000..7ee962dc
--- /dev/null
+++ b/pfinet/glue-include/linux/wait.h
@@ -0,0 +1,32 @@
+#ifndef _HACK_WAIT_H_
+#define _HACK_WAIT_H_
+
+#include <cthreads.h>
+
+/* This data structure actually represents one waiter on a wait queue,
+   and waiters always expect to initialize it with { current, NULL }.
+   The actual wait queue is a `struct wait_queue *' stored somewhere.
+   We ignore these structures provided by the waiters entirely.
+   In the `struct wait_queue *' that is the "head of the wait queue" slot,
+   we actually store a `struct condition *' pointing to malloc'd storage.  */
+
+struct wait_queue
+{
+  struct task_struct *task;	/* current */
+  struct wait_queue *next;	/* NULL */
+};
+
+
+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