On Thu, May 16, 2024 at 10:51:06AM +0200, Peter Zijlstra wrote: > Thanks!, I'll hang onto this until after the merge window and then stick > it in tip/perf/urgent or somesuch. Just to check -- I couldn't spot this in tip/perf/urgent just now; are you still happy to pick this up? Mark.