John Baldwin 7bf38446dd MFC 204972: ... Make NKPT a kernel option on i386 so that it can be set to a non-default value from kernel config files.		2010-03-26 18:54:25 +00:00
..
clock.c	Fix the Xen TOD update when the hypervisor wall clock is nudged.	2009-05-29 13:43:21 +00:00
exception.s	Fix IPI support	2008-10-23 07:20:43 +00:00
locore.s	fix UP compilation	2009-11-25 01:55:34 +00:00
mp_machdep.c	MFC 204972:	2010-03-26 18:54:25 +00:00
mptable.c	merge 186535, 186537, and 186538 from releng_7_xen	2008-12-29 06:31:03 +00:00
pmap.c	MFC xen pmap updates and eflags fixes	2009-11-25 01:52:36 +00:00
xen_clock_util.c	Migrate the Xen hypervisor clock reading routines into something	2009-05-29 13:36:06 +00:00
xen_machdep.c	MFC xen pmap updates and eflags fixes	2009-11-25 01:52:36 +00:00
xen_rtc.c	Migrate the Xen hypervisor clock reading routines into something	2009-05-29 13:36:06 +00:00