HelenOS sources

MUTEX_INITIALIZER   65 kernel/generic/include/synch/mutex.h 	mutex_t name = MUTEX_INITIALIZER(name, mtype)
MUTEX_INITIALIZER   53 kernel/generic/src/synch/mutex.c 	*mtx = MUTEX_INITIALIZER(*mtx, type);