On Sat, Feb 18, 2012 at 07:01:24PM +0100, Manuel Bouyer wrote: > > - the calls to pmap_update() should be moved along with the calls to > > pmap_kremove(). > > But not all pmap_kremove() are followed by a pmap_update() in the initial > code. > Is it a bug ?
yes. we don't currently defer TLB invalidations from pmap_kremove() on x86 (or probably any platform), but if we start doing that then the pmap_update()s are needed. -Chuck
