HelenOS sources
MUTEX_INITIALIZE 68 kernel/generic/src/console/console.c static MUTEX_INITIALIZE(console_mutex, MUTEX_RECURSIVE);
MUTEX_INITIALIZE 62 kernel/generic/src/ddi/ddi.c static MUTEX_INITIALIZE(pareas_lock, MUTEX_PASSIVE);
MUTEX_INITIALIZE 92 kernel/generic/src/sysinfo/stats.c static MUTEX_INITIALIZE(load_lock, MUTEX_PASSIVE);
MUTEX_INITIALIZE 59 kernel/generic/src/sysinfo/sysinfo.c static MUTEX_INITIALIZE(sysinfo_lock, MUTEX_PASSIVE);
MUTEX_INITIALIZE 130 kernel/test/mm/slab2.c static MUTEX_INITIALIZE(starter_mutex, MUTEX_PASSIVE);
HelenOS homepage, sources at GitHub