Documentation/locking/lockdep-design.txt