Formerly sched.h.~4~

1 files changed, 4 insertions, 0 deletions

diff --git a/pfinet/linux/sched.h b/pfinet/linux/sched.h
index 1caf5325..8d3facd9 100644
--- a/pfinet/linux/sched.h
+++ b/pfinet/linux/sched.h
@@ -4,7 +4,11 @@
 #include <linux/wait.h>
 #include <sys/signal.h>
 #include <hurd/hurd_types.h>
+#include <linux/kernel.h>
+#include <linux/net.h>
 
+
+extern unsigned long intr_count;
 extern unsigned long volatile jiffies;
 #define HZ 100
 extern struct task_struct *current;