diff options
author | jhb <jhb@FreeBSD.org> | 2010-03-10 19:50:52 +0000 |
---|---|---|
committer | jhb <jhb@FreeBSD.org> | 2010-03-10 19:50:52 +0000 |
commit | da95673165a59cb4afa6d3d67fb9b3d41916c9c2 (patch) | |
tree | 934e8283867cd7f709d1f5c3366ac22c27722e63 /sys/i386/xen | |
parent | 1d68cfaf905a94a83c6e779023280f5dea416699 (diff) | |
download | FreeBSD-src-da95673165a59cb4afa6d3d67fb9b3d41916c9c2.zip FreeBSD-src-da95673165a59cb4afa6d3d67fb9b3d41916c9c2.tar.gz |
Make NKPT a kernel option on i386 so that it can be set to a non-default
value from kernel config files.
Tested by: Charles Sprickman spork of bway net
MFC after: 2 weeks
Diffstat (limited to 'sys/i386/xen')
-rw-r--r-- | sys/i386/xen/mp_machdep.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sys/i386/xen/mp_machdep.c b/sys/i386/xen/mp_machdep.c index d408e97..76a919f 100644 --- a/sys/i386/xen/mp_machdep.c +++ b/sys/i386/xen/mp_machdep.c @@ -31,6 +31,7 @@ __FBSDID("$FreeBSD$"); #include "opt_cpu.h" #include "opt_kstack_pages.h" #include "opt_mp_watchdog.h" +#include "opt_pmap.h" #include "opt_sched.h" #include "opt_smp.h" |