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@