On Wed, 2017-10-18 at 18:38 +0900, Byungchul Park wrote: > Several false positives were reported, so I tried to fix them. > > It would be appreciated if you tell me if it works as expected, or let > me know your opinion. What I have been wondering about is whether the crosslock checking makes sense from a conceptual point of view. I tried to find documentation for the crosslock checking in Documentation/locking/lockdep-design.txt but couldn't find a description of the crosslock checking. Shouldn't it be documented somewhere what the crosslock checks do and what the theory is behind these checks? Bart.