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