MUTEX_INITIALIZER   27 arch/i386/i386/db_mp.c struct mutex ddb_mp_mutex = MUTEX_INITIALIZER(IPL_HIGH);
MUTEX_INITIALIZER   27 arch/i386/i386/mp_setperf.c struct mutex setperf_mp_mutex = MUTEX_INITIALIZER(IPL_HIGH);
MUTEX_INITIALIZER  139 arch/i386/isa/clock.c struct mutex timer_mutex = MUTEX_INITIALIZER(IPL_HIGH);
MUTEX_INITIALIZER  359 kern/kern_exit.c struct mutex deadproc_mutex = MUTEX_INITIALIZER(IPL_NONE);
MUTEX_INITIALIZER   80 kern/kern_timeout.c struct mutex timeout_mutex = MUTEX_INITIALIZER(IPL_HIGH);
MUTEX_INITIALIZER  101 kern/subr_prf.c struct mutex kprintf_mutex = MUTEX_INITIALIZER(IPL_HIGH);