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