Files: /kernel/_sources/locking/mutex-design.rst.txt