artulab
projects / openbsd / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a0bbe5d) | patch
deadproc_mutex is only taken _before_ kernel_lock; exclude it from
authorguenther <guenther@openbsd.org>
Tue, 28 Nov 2017 06:09:44 +0000 (06:09 +0000)
committerguenther <guenther@openbsd.org>
Tue, 28 Nov 2017 06:09:44 +0000 (06:09 +0000)
commitfb3dec7c192d2cc4cfb0f4a1d031bcfa9af2b078
treee03e01268938afa39a424f2f3332513506db695atree | snapshot
parenta0bbe5debcd4ae900e2609cc73c27bf06f0df2fdcommit | diff
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@
sys/kern/kern_exit.c diff | blob | history
OpenBSD src
by Ahmet Artu Yildirim