Linux-insides: Concept of mutex in the Linux kernel (github.com)