HelenOS sources

mutex_type_t       51 kernel/generic/include/synch/mutex.h 	mutex_type_t type;
mutex_type_t       67 kernel/generic/include/synch/mutex.h extern void mutex_initialize(mutex_t *, mutex_type_t);
mutex_type_t       51 kernel/generic/src/synch/mutex.c void mutex_initialize(mutex_t *mtx, mutex_type_t type)