sys/kern/subr_turnstile.c

481 	MPASS(TAILQ_EMPTY(&ts->ts_blocked[TS_EXCLUSIVE_QUEUE]));
482 	MPASS(TAILQ_EMPTY(&ts->ts_blocked[TS_SHARED_QUEUE]));
483 	MPASS(TAILQ_EMPTY(&ts->ts_pending));
746 		KASSERT(TAILQ_EMPTY(&ts->ts_pending),
748 		KASSERT(TAILQ_EMPTY(&ts->ts_blocked[TS_EXCLUSIVE_QUEUE]),
750 		KASSERT(TAILQ_EMPTY(&ts->ts_blocked[TS_SHARED_QUEUE]),
835 	empty = TAILQ_EMPTY(&ts->ts_blocked[TS_EXCLUSIVE_QUEUE]) &&
836 	    TAILQ_EMPTY(&ts->ts_blocked[TS_SHARED_QUEUE]);
935 	MPASS(!TAILQ_EMPTY(&ts->ts_pending));
944 	if (TAILQ_EMPTY(&ts->ts_blocked[TS_EXCLUSIVE_QUEUE]) &&
945 	    TAILQ_EMPTY(&ts->ts_blocked[TS_SHARED_QUEUE]))
978 	while (!TAILQ_EMPTY(&pending_threads)) {
1013 	MPASS(TAILQ_EMPTY(&ts->ts_pending));
1014 	MPASS(!TAILQ_EMPTY(&ts->ts_blocked[TS_EXCLUSIVE_QUEUE]) ||
1015 	    !TAILQ_EMPTY(&ts->ts_blocked[TS_SHARED_QUEUE]));
1070 	return (TAILQ_EMPTY(&ts->ts_blocked[queue]));
1088 	if (TAILQ_EMPTY(queue)) {