On 2024-11-08 10:33:29 [-0800], Paul E. McKenney wrote: > Sebastian, I am guessing that the Kconfig change exposing the bugs fixed > by your series is headed to mainline for the upcoming merge window? Yes. It is in tip/locking/core. > If so, I should of course push these in as well. That would be nice ;) > Thanx, Paul Sebastian