diff options
| author | John Baldwin <jhb@FreeBSD.org> | 2002-11-11 16:36:20 +0000 |
|---|---|---|
| committer | John Baldwin <jhb@FreeBSD.org> | 2002-11-11 16:36:20 +0000 |
| commit | d2b28e078aa883e86b96e34390901edc4911bcec (patch) | |
| tree | 465946127c6ff20f9790374ede03e74f337e0593 | |
| parent | 2ac8c61ac4394d5247be860034e5401a5105689a (diff) | |
Notes
| -rw-r--r-- | sys/kern/subr_witness.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sys/kern/subr_witness.c b/sys/kern/subr_witness.c index 8766bb911878..411703a1937b 100644 --- a/sys/kern/subr_witness.c +++ b/sys/kern/subr_witness.c @@ -666,7 +666,7 @@ witness_lock(struct lock_object *lock, int flags, const char *file, int line) if (i == 0 && lle->ll_next != NULL) { lle = lle->ll_next; i = lle->ll_count - 1; - MPASS(i != 0); + MPASS(i >= 0 && i < LOCK_NCHILDREN); } } while (i >= 0); if (i < 0) { |