Re: [GIT PULL tools] Linux kernel memory model

[Ingo Molnar]

* Paul E. McKenney <paulmck@xxxxxxxxxxxxxxxxxx> wrote:

> > I believe these additional improvements (to the extent you agree with doing them!) 
> > could/should be done as add-on commits on top of this existing commit.
> 
> Sounds good!
> 
> Would you prefer a pull request or a patch series for these?

Patch series would be nice, for review and later application to the locking tree.

Thanks,

	Ingo