diff options
Diffstat (limited to 'kern/machine.c')
| -rw-r--r-- | kern/machine.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kern/machine.c b/kern/machine.c index 1322b549..a395937c 100644 --- a/kern/machine.c +++ b/kern/machine.c @@ -53,7 +53,7 @@ #include <kern/task.h> #include <kern/thread.h> #include <kern/printf.h> -#include <machine/machspl.h> /* for splsched */ +#include <machine/spl.h> /* for splsched */ #include <machine/model_dep.h> #include <machine/pcb.h> #include <sys/reboot.h> |