630 	KASSERT(mutex_owned(p->p_lock));  in sigput()
704 	KASSERT(mutex_owned(p->p_lock));  in sigclearall()
748 	KASSERT(mutex_owned(p->p_lock));  in getucontext()
780 	KASSERT(mutex_owned(p->p_lock));  in setucontext()
882 	KASSERT(mutex_owned(&proc_lock));  in pgsignal()
895 	KASSERT(mutex_owned(&proc_lock));  in kpgsignal()
1021 	KASSERT(mutex_owned(&proc_lock));  in child_psignal()
1022 	KASSERT(mutex_owned(p->p_lock));  in child_psignal()
1053 	KASSERT(mutex_owned(&proc_lock));  in psignal()
1070 	KASSERT(mutex_owned(&proc_lock));  in kpsignal()
1121 	KASSERT(mutex_owned(p->p_lock));  in sigpost()
1254 	KASSERT(mutex_owned(p->p_lock));  in sigunwait()
1316 	KASSERT(mutex_owned(&proc_lock));  in kpsignal2()
1317 	KASSERT(mutex_owned(p->p_lock));  in kpsignal2()
1538 	KASSERT(mutex_owned(p->p_lock));  in kpsendsig()
1550 	KASSERT(mutex_owned(p->p_lock));  in proc_stop_lwps()
1572 	KASSERT(mutex_owned(&proc_lock));  in proc_stop_done()
1573 	KASSERT(mutex_owned(p->p_lock));  in proc_stop_done()
1603 	KASSERT(mutex_owned(&proc_lock));  in eventswitch()
1604 	KASSERT(mutex_owned(p->p_lock));  in eventswitch()
1726 	KASSERT(mutex_owned(p->p_lock));  in sigswitch()
1731 		KASSERT(mutex_owned(&proc_lock));  in sigswitch()
1733 		KASSERT(!mutex_owned(&proc_lock));  in sigswitch()
1782 	KASSERT(mutex_owned(p->p_lock));  in sigswitch_unlock_and_switch_away()
1783 	KASSERT(!mutex_owned(&proc_lock));  in sigswitch_unlock_and_switch_away()
1813 	KASSERT(mutex_owned(p->p_lock));  in sigchecktrace()
1864 	KASSERT(mutex_owned(p->p_lock));  in issignal()
2090 	KASSERT(mutex_owned(p->p_lock));  in postsig()
2207 	KASSERT(mutex_owned(p->p_lock));  in sendsig_reset()
2230 	KASSERT(mutex_owned(&proc_lock));  in killproc()
2254 	KASSERT(mutex_owned(p->p_lock));  in sigexit()
2408 	KASSERT(mutex_owned(p->p_lock));  in proc_stop()
2525 	KASSERT(mutex_owned(&proc_lock));  in proc_unstop()
2526 	KASSERT(mutex_owned(p->p_lock));  in proc_unstop()