John Baldwin cf684ede27 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

2010-03-10 19:50:52 +00:00

..

clock.c

Introduce the new kernel sub-tree x86 which should contain all the code

2010-02-25 14:13:39 +00:00

exception.s

…

locore.s

…

mp_machdep.c

Make NKPT a kernel option on i386 so that it can be set to a non-default

2010-03-10 19:50:52 +00:00

mptable.c

…

pmap.c

- fix bootstrap for variable KVA_PAGES

2010-02-21 01:13:34 +00:00

xen_clock_util.c

…

xen_machdep.c

- fix bootstrap for variable KVA_PAGES

2010-02-21 01:13:34 +00:00

xen_rtc.c

…