deadproc_mutex    359 kern/kern_exit.c struct mutex deadproc_mutex = MUTEX_INITIALIZER(IPL_NONE);
deadproc_mutex    378 kern/kern_exit.c 	mtx_enter(&deadproc_mutex);
deadproc_mutex    380 kern/kern_exit.c 	mtx_leave(&deadproc_mutex);
deadproc_mutex    400 kern/kern_exit.c 		mtx_enter(&deadproc_mutex);
deadproc_mutex    404 kern/kern_exit.c 			mtx_leave(&deadproc_mutex);
deadproc_mutex    411 kern/kern_exit.c 		mtx_leave(&deadproc_mutex);