usr/src/lib/libfakekernel/common/sys/mutex.h
usr/src/uts/common/sys/mutex.h