K 10
svn:author
V 8
cperciva
K 8
svn:date
V 27
2010-11-25T22:06:07.887168Z
K 7
svn:log
V 480
Revert r215819 and fix the bug properly.  In pmap_qremove, paging table
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

END