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 ;-)