diff options
| -rw-r--r-- | sys/kern/kern_lock.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/sys/kern/kern_lock.c b/sys/kern/kern_lock.c index 92e8b05..d1d5916 100644 --- a/sys/kern/kern_lock.c +++ b/sys/kern/kern_lock.c @@ -237,8 +237,10 @@ debuglockmgr(lkp, flags, interlkp, p, name, file, line) pid = p->p_pid; mtx_lock(lkp->lk_interlock); - if (flags & LK_INTERLOCK) + if (flags & LK_INTERLOCK) { mtx_unlock(interlkp); + mtx_assert(interlkp, MA_NOTOWNED); + } extflags = (flags | lkp->lk_flags) & LK_EXTFLG_MASK; |
