On Wed, Mar 7, 2018 at 7:54 AM, Paul E. McKenney
> Ah, and any thoughts on how best to get feedback from the various people
> who would need to reprogram their fingers? Or is everyone already on
> board with changing these various names?
I really would prefer to not see massive re-naming unless there is a
really good reason for it.
I'm all for simplifying RCU from a million different versions down to
just a few thousand, but I'm definitely not convinced we want to do