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
