On Fri, 20 Nov 2020 16:58:09 -0800 "Paul E. McKenney" <paulmck@xxxxxxxxxx> wrote: > OK, maybe no one needs it, but rcutorture does need it, so here > it is anyway. Ah, so there was a use case. I was scratching my head a bit before reading this ;-) -- Steve
