linux/Documentation/mutex-design.txt
<<