HelenOS sources

mutex_locked      135 kernel/genarch/src/mm/as_ht.c 	return mutex_locked(&as->lock);
mutex_locked      155 kernel/genarch/src/mm/as_pt.c 	return mutex_locked(&as->lock);
mutex_locked       59 kernel/generic/include/synch/mutex.h extern bool mutex_locked(mutex_t *);
mutex_locked      243 kernel/generic/src/cap/cap.c 	assert(mutex_locked(&task->cap_info->lock));
mutex_locked      386 kernel/generic/src/mm/as.c 	assert(mutex_locked(&as->lock));
mutex_locked      479 kernel/generic/src/mm/as.c 	assert(mutex_locked(&as->lock));
mutex_locked      865 kernel/generic/src/mm/as.c 	assert(mutex_locked(&as->lock));
mutex_locked     1309 kernel/generic/src/mm/as.c 	assert(mutex_locked(&area->lock));
mutex_locked     1707 kernel/generic/src/mm/as.c 	assert(mutex_locked(&area->lock));
mutex_locked      115 kernel/generic/src/mm/backend_anon.c 	assert(mutex_locked(&area->as->lock));
mutex_locked      116 kernel/generic/src/mm/backend_anon.c 	assert(mutex_locked(&area->lock));
mutex_locked      190 kernel/generic/src/mm/backend_anon.c 	assert(mutex_locked(&area->lock));
mutex_locked      278 kernel/generic/src/mm/backend_anon.c 	assert(mutex_locked(&area->lock));
mutex_locked      159 kernel/generic/src/mm/backend_elf.c 	assert(mutex_locked(&area->as->lock));
mutex_locked      160 kernel/generic/src/mm/backend_elf.c 	assert(mutex_locked(&area->lock));
mutex_locked      271 kernel/generic/src/mm/backend_elf.c 	assert(mutex_locked(&area->lock));
mutex_locked      423 kernel/generic/src/mm/backend_elf.c 	assert(mutex_locked(&area->lock));
mutex_locked       97 kernel/generic/src/mm/backend_phys.c 	assert(mutex_locked(&area->as->lock));
mutex_locked       98 kernel/generic/src/mm/backend_phys.c 	assert(mutex_locked(&area->lock));
mutex_locked      139 kernel/generic/src/mm/backend_phys.c 	assert(mutex_locked(&area->lock));
mutex_locked      113 kernel/generic/src/mm/backend_user.c 	assert(mutex_locked(&area->lock));
mutex_locked      167 kernel/generic/src/mm/backend_user.c 	assert(mutex_locked(&area->lock));
mutex_locked      395 kernel/generic/src/udebug/udebug.c 	assert(mutex_locked(&task->udebug.lock));