On 2021-02-09 11:02:10 [+0100], Peter Zijlstra wrote:> Fair enough. I'll stick this in tip/sched/smp for Jens and merge that> into tip/sched/core.Thank you.> Thanks!Sebastian