diff options
Diffstat (limited to 'sys')
| -rw-r--r-- | sys/kern/subr_sleepqueue.c | 1 | ||||
| -rw-r--r-- | sys/kern/subr_trap.c | 1 | ||||
| -rw-r--r-- | sys/kern/subr_turnstile.c | 1 |
3 files changed, 3 insertions, 0 deletions
diff --git a/sys/kern/subr_sleepqueue.c b/sys/kern/subr_sleepqueue.c index 0b70a8e..911761d 100644 --- a/sys/kern/subr_sleepqueue.c +++ b/sys/kern/subr_sleepqueue.c @@ -64,6 +64,7 @@ __FBSDID("$FreeBSD$"); #include "opt_sleepqueue_profiling.h" #include "opt_ddb.h" +#include "opt_sched.h" #include <sys/param.h> #include <sys/systm.h> diff --git a/sys/kern/subr_trap.c b/sys/kern/subr_trap.c index 6fc92cc..db7c385 100644 --- a/sys/kern/subr_trap.c +++ b/sys/kern/subr_trap.c @@ -45,6 +45,7 @@ __FBSDID("$FreeBSD$"); #ifdef __i386__ #include "opt_npx.h" #endif +#include "opt_sched.h" #include <sys/param.h> #include <sys/bus.h> diff --git a/sys/kern/subr_turnstile.c b/sys/kern/subr_turnstile.c index f8d1931..245240b 100644 --- a/sys/kern/subr_turnstile.c +++ b/sys/kern/subr_turnstile.c @@ -61,6 +61,7 @@ __FBSDID("$FreeBSD$"); #include "opt_ddb.h" #include "opt_turnstile_profiling.h" +#include "opt_sched.h" #include <sys/param.h> #include <sys/systm.h> |
