On 20/10/2020 09:37, Peter Zijlstra wrote: > On Mon, Oct 19, 2020 at 04:15:01PM +0200, Dietmar Eggemann wrote: >> On 14/10/2020 21:54, Peter Zijlstra wrote:
[...] > Maybe I've not had enough wake-up juice, but I can't seem to locate > this. Sorry, I was commenting on my own debug code ;-)
