diff options
| -rw-r--r-- | sys/kern/subr_sleepqueue.c | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/sys/kern/subr_sleepqueue.c b/sys/kern/subr_sleepqueue.c index 4479d131906b..047cd2eeb17d 100644 --- a/sys/kern/subr_sleepqueue.c +++ b/sys/kern/subr_sleepqueue.c @@ -297,11 +297,13 @@ sleepq_add(void *wchan, struct lock_object *lock, const char *wmesg, int flags, if (sq == NULL) { sq = td->td_sleepqueue; #ifdef INVARIANTS - int i; - for (i = 0; i < NR_SLEEPQS; i++) - KASSERT(TAILQ_EMPTY(&sq->sq_blocked[i]), + { + int i; + + for (i = 0; i < NR_SLEEPQS; i++) + KASSERT(TAILQ_EMPTY(&sq->sq_blocked[i]), ("thread's sleep queue %d is not empty", i)); - + } KASSERT(LIST_EMPTY(&sq->sq_free), ("thread's sleep queue has a non-empty free list")); KASSERT(sq->sq_wchan == NULL, ("stale sq_wchan pointer")); |