Doug Rabson 3e33218d77 Fix the Xen build for i386 PV mode.		2009-04-01 17:06:28 +00:00
..
clock.c
exception.s
locore.s
mp_machdep.c
mptable.c
pmap.c	Fix the Xen build for i386 PV mode.	2009-04-01 17:06:28 +00:00
xen_machdep.c	Fix the Xen build for i386 PV mode.	2009-04-01 17:06:28 +00:00