On 2019-05-02 11:41:16 [-0700], Paul E. McKenney wrote: > And I ended up with the following variant of your patch. If I don't > hear otherwise from you, I will assume that you are OK with it. So if > something bothers you about it, please don't suffer in silence! perfect, thank you! > Thanx, Paul Sebastian