On 2018-11-08 09:35:25 [-0800], Paul E. McKenney wrote:> I agree that tglx's patch is needed for 4.19 and earlier. Just not for> 4.20 and later.> > Or am I still missing your point?nope, I think we are good.> Thanx, PaulSebastian