diff options
| author | eivind <eivind@FreeBSD.org> | 1999-01-10 01:58:29 +0000 |
|---|---|---|
| committer | eivind <eivind@FreeBSD.org> | 1999-01-10 01:58:29 +0000 |
| commit | 89e11995349cb9c2dab945decdcca7c775b1da23 (patch) | |
| tree | cbf327b4157cdef7815c3325d5228ee8a2401bb7 /sys/kern/kern_lock.c | |
| parent | 541b200a907df9730d6c52f272bc2eb5385c41fe (diff) | |
| download | FreeBSD-src-89e11995349cb9c2dab945decdcca7c775b1da23.zip FreeBSD-src-89e11995349cb9c2dab945decdcca7c775b1da23.tar.gz | |
KNFize, by bde.
Diffstat (limited to 'sys/kern/kern_lock.c')
| -rw-r--r-- | sys/kern/kern_lock.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/sys/kern/kern_lock.c b/sys/kern/kern_lock.c index 0bf31d0..0903f6e 100644 --- a/sys/kern/kern_lock.c +++ b/sys/kern/kern_lock.c @@ -38,7 +38,7 @@ * SUCH DAMAGE. * * @(#)kern_lock.c 8.18 (Berkeley) 5/21/95 - * $Id: kern_lock.c,v 1.20 1998/11/26 18:50:23 eivind Exp $ + * $Id: kern_lock.c,v 1.21 1999/01/08 17:31:08 eivind Exp $ */ #include "opt_lint.h" @@ -83,6 +83,7 @@ sharelock(struct lock *lkp, int incr) { static LOCK_INLINE void shareunlock(struct lock *lkp, int decr) { + KASSERT(lkp->lk_sharecount >= decr, ("shareunlock: count < decr")); if (lkp->lk_sharecount == decr) { |
