diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1995-08-16 17:19:11 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1995-08-16 17:19:11 +0000 |
| commit | e59f005788e41ba0aa14685799581cecfeea4a0b (patch) | |
| tree | f81231c47203b2e11e32c4af3ce16e4ee2c5a6e0 /pfinet/linux | |
| parent | 08a5fb58c65e25e239ea393020615afdc288d27b (diff) | |
Formerly sched.h.~9~
Diffstat (limited to 'pfinet/linux')
| -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; |