Re: [RFC tip/locking/lockdep v5 05/17] lockdep: Extend __bfs() to work with multiple kinds of dependencies
From: Peter Zijlstra
Date: Thu Feb 22 2018 - 11:32:46 EST
On Fri, Feb 23, 2018 at 12:34:26AM +0800, Boqun Feng wrote:
> OK, so I have some 'proof' in patch #16. I could move that proof in the
> commit log or merge that patch with this one?
Hehe, I'm not yet that far with reading patches.. I'll get to it,
eventually ;-)