include/linux/mutex.h
kernel/locking/mutex.h
tools/include/linux/mutex.h
tools/lib/lockdep/include/liblockdep/mutex.h
tools/testing/selftests/rcutorture/formal/srcu-cbmc/empty_includes/linux/mutex.h