HelenOS sources

MUTEX_ACTIVE     1113 kernel/generic/src/mm/frame.c 		mutex_initialize(&mem_avail_mtx, MUTEX_ACTIVE);
MUTEX_ACTIVE       78 kernel/generic/src/synch/mutex.c 	assert((mtx->type == MUTEX_ACTIVE) || !THREAD);
MUTEX_ACTIVE      109 kernel/generic/src/synch/mutex.c 	if (mtx->type == MUTEX_ACTIVE || !THREAD) {
MUTEX_ACTIVE      129 kernel/generic/src/synch/mutex.c 		assert(mtx->type != MUTEX_ACTIVE);
MUTEX_ACTIVE      105 kernel/generic/src/sysinfo/sysinfo.c 	mutex_initialize(&sysinfo_lock, MUTEX_ACTIVE);
HelenOS homepage, sources at GitHub