Colin Percival 98702b3990 Work around paging bug. Somehow we seem to be ending up with entries in ... the TLB which don't correspond to ptes with PG_V set; prior to this commit I'm sometimes getting the wrong data when pages are loaded into the buffer cache (they're being loaded, but the missing TLB invalidation is causing the wrong data to be visible).		2010-11-25 15:41:34 +00:00
..
clock.c	In xen_get_timecount, return the full ns-precision time rather than	2010-11-22 09:04:29 +00:00
exception.s	i386 has not (yet) any DEV_ATPIC conditional than axe it out from Xen	2009-11-27 01:02:17 +00:00
locore.s	Eliminate unused variables (see r137912).	2010-01-07 04:47:09 +00:00
mp_machdep.c	Add VTOM(va) macro as xpmap_ptom(VTOP(va)) to convert to machine addresses.	2010-11-20 20:04:29 +00:00
mptable.c	Move the mptable.h under x86/include/.	2010-11-09 20:28:09 +00:00
pmap.c	Work around paging bug. Somehow we seem to be ending up with entries in	2010-11-25 15:41:34 +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	Rename HYPERVISOR_multicall (which performs the multicall hypercall) to	2010-11-25 15:05:21 +00:00
xen_rtc.c	Migrate the Xen hypervisor clock reading routines into something	2009-05-29 13:36:06 +00:00