diff options
| author | Philip Guenther <guenther@cvs.openbsd.org> | 2017-11-28 06:09:45 +0000 |
|---|---|---|
| committer | Philip Guenther <guenther@cvs.openbsd.org> | 2017-11-28 06:09:45 +0000 |
| commit | 84e33c9a2aa6ac7d0800cc11bc8df7e7104a2b37 (patch) | |
| tree | bd37c9992a83b59eed2e9692773d79da6a9c5d22 /share | |
| parent | f155e0cc216b8cd80e5d21a0e0b65273cdd96d89 (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@
Diffstat (limited to 'share')
0 files changed, 0 insertions, 0 deletions