On Wed, Jul 11, 2018 at 09:54:52PM +0100, David Woodhouse wrote: > On Wed, 2018-07-11 at 13:27 -0700, Paul E. McKenney wrote: > > > > Something like this, on top of the earlier patch? I am not at all > > confident of this patch because there might be other entry/exit > > paths I am missing. Plus there might be RCU uses on the arch- > > specific patch to and from the guest OS. > > That was going to be my starting point, yes. With some additional > manual review and testing to cover the "not at all confident" part. :) Please feel free to change as needed, up to and including throwing my patch away and starting over. ;-) Thanx, Paul
