CVSROOT:        /cvs
Module name:    src
Changes by:     guent...@cvs.openbsd.org        2017/11/27 23:09:44

Modified files:
        sys/kern       : kern_exit.c 

Log message:
deadproc_mutex is only taken _before_ kernel_lock; exclude it from
WITNESS checking as (our) witness code isn't smart enough to let that by.

ok visa@

Reply via email to