diff options
| -rw-r--r-- | pfinet/linux/sched.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pfinet/linux/sched.h b/pfinet/linux/sched.h index 51b1b20e..a1fc95b6 100644 --- a/pfinet/linux/sched.h +++ b/pfinet/linux/sched.h @@ -10,8 +10,8 @@ #include "mapped-time.h" #include <assert.h> #include <mach.h> +#include <asm/system.h> -extern unsigned long intr_count; #define jiffies (fetch_jiffies ()) extern struct task_struct *current; |