Re: [PATCH 0/1] rcu_sync: Cleanup the CONFIG_PROVE_RCU checks

2015-09-11 Thread Paul E. McKenney
On Fri, Sep 11, 2015 at 05:59:01PM +0200, Oleg Nesterov wrote: > On 09/10, Paul E. McKenney wrote: > > > > On Thu, Sep 10, 2015 at 03:59:42PM +0200, Oleg Nesterov wrote: > > > On 09/09, Paul E. McKenney wrote: > > > > > > > > This is obsolete, but its replacement is the same patch. > > > > > >

[PATCH 0/1] rcu_sync: Cleanup the CONFIG_PROVE_RCU checks

2015-09-11 Thread Oleg Nesterov
On 09/10, Paul E. McKenney wrote: > > On Thu, Sep 10, 2015 at 03:59:42PM +0200, Oleg Nesterov wrote: > > On 09/09, Paul E. McKenney wrote: > > > > > > This is obsolete, but its replacement is the same patch. > > > > fbe3b97183f84155d81e506b1aa7d2ce986f7a36 in linux-rcu.git#experimental > > I

[PATCH 0/1] rcu_sync: Cleanup the CONFIG_PROVE_RCU checks

2015-09-11 Thread Oleg Nesterov
On 09/10, Paul E. McKenney wrote: > > On Thu, Sep 10, 2015 at 03:59:42PM +0200, Oleg Nesterov wrote: > > On 09/09, Paul E. McKenney wrote: > > > > > > This is obsolete, but its replacement is the same patch. > > > > fbe3b97183f84155d81e506b1aa7d2ce986f7a36 in linux-rcu.git#experimental > > I

Re: [PATCH 0/1] rcu_sync: Cleanup the CONFIG_PROVE_RCU checks

2015-09-11 Thread Paul E. McKenney
On Fri, Sep 11, 2015 at 05:59:01PM +0200, Oleg Nesterov wrote: > On 09/10, Paul E. McKenney wrote: > > > > On Thu, Sep 10, 2015 at 03:59:42PM +0200, Oleg Nesterov wrote: > > > On 09/09, Paul E. McKenney wrote: > > > > > > > > This is obsolete, but its replacement is the same patch. > > > > > >