5c0ab2fa8b
updates were being queued by pmap_kremove, but the queue wasn't being flushed; as a result, the updates didn't happen until *after* the call to pmap_invalidate_range, and old entries could stick around in the TLB. Adding a PT_UPDATES_FLUSH() call immediately before pmap_invalidate_range ensures that after the invalidation the TLB will be repopulated with the correct new entries. Thanks to: kib, avg, alc |
||
---|---|---|
.. | ||
clock.c | ||
exception.s | ||
locore.s | ||
mp_machdep.c | ||
mptable.c | ||
pmap.c | ||
xen_clock_util.c | ||
xen_machdep.c | ||
xen_rtc.c |