1 files changed, 27 insertions, 0 deletions
diff --git a/pfinet/linux/timer.h b/pfinet/linux/timer.h
new file mode 100644
index 00000000..2458746e
--- /dev/null
+++ b/pfinet/linux/timer.h
@@ -0,0 +1,27 @@
+#ifndef _HACK_TIMER_H_
+#define _HACK_TIMER_H_
+
+#include <cthreads.h>
+
+enum tstate
+{
+  TIMER_INACTIVE,
+  TIMER_STARTING,
+  TIMER_STARTED,
+  TIMER_EXPIRED,
+  TIMER_FUNCTION_RUNNING,
+};
+ 
+struct timer_list
+{
+  struct timer_list *next, **prevp;
+  unsigned long expires;
+  unsigned long data;
+  void (*function)(unsigned long);
+};
+
+void add_timer (struct timer_list *);
+int del_timer (struct timer_list *);
+void init_timer (struct timer_list *);
+
+#endif