mutex_t 56 kernel/generic/include/synch/mutex.h } mutex_t; mutex_t 222 uspace/lib/cpp/include/__bits/thread/threading.hpp using mutex_t = typename threading::mutex_type;