319 	MPASS(td->td_sleepqueue != NULL);  in sleepq_add()
320 	MPASS(wchan != NULL);  in sleepq_add()
321 	MPASS((queue >= 0) && (queue < NR_SLEEPQS));  in sleepq_add()
370 		MPASS(wchan == sq->sq_wchan);  in sleepq_add()
371 		MPASS(lock == sq->sq_lock);  in sleepq_add()
372 		MPASS((flags & SLEEPQ_TYPE) == sq->sq_type);  in sleepq_add()
405 	MPASS(TD_ON_SLEEPQ(td));  in sleepq_set_timeout_sbt()
406 	MPASS(td->td_sleepqueue == NULL);  in sleepq_set_timeout_sbt()
407 	MPASS(wchan != NULL);  in sleepq_set_timeout_sbt()
429 	MPASS((queue >= 0) && (queue < NR_SLEEPQS));  in sleepq_sleepcnt()
512 	MPASS(wchan != NULL);  in sleepq_catch_signals()
534 		MPASS(td->td_lock != &sc->sc_lock);  in sleepq_catch_signals()
592 		MPASS(TD_ON_SLEEPQ(td));  in sleepq_switch()
603 	MPASS(td->td_sleepqueue == NULL);  in sleepq_switch()
657 	MPASS(!(td->td_flags & TDF_SINTR));  in sleepq_wait()
687 	MPASS(!(td->td_flags & TDF_SINTR));  in sleepq_timedwait()
724 	MPASS(wchan != NULL);  in sleepq_type()
748 	MPASS(td != NULL);  in sleepq_resume_thread()
749 	MPASS(sq->sq_wchan != NULL);  in sleepq_resume_thread()
750 	MPASS(td->td_wchan == sq->sq_wchan);  in sleepq_resume_thread()
778 	MPASS(pri == 0 || (pri >= PRI_MIN && pri <= PRI_MAX));  in sleepq_resume_thread()
790 		MPASS(!drop);  in sleepq_resume_thread()
794 	MPASS(drop);  in sleepq_resume_thread()
805 	MPASS(td != NULL);  in sleepq_remove_thread()
806 	MPASS(sq->sq_wchan != NULL);  in sleepq_remove_thread()
807 	MPASS(td->td_wchan == sq->sq_wchan);  in sleepq_remove_thread()
808 	MPASS(td->td_sqqueue < NR_SLEEPQS && td->td_sqqueue >= 0);  in sleepq_remove_thread()
869 		MPASS(TAILQ_EMPTY(&sq->sq_blocked[i]));  in sleepq_dtor()
870 		MPASS(sq->sq_blockedcnt[i] == 0);  in sleepq_dtor()
908 	MPASS((queue >= 0) && (queue < NR_SLEEPQS));  in sleepq_signal()
943 	MPASS(besttd != NULL);  in sleepq_signal()
965 	MPASS((queue >= 0) && (queue < NR_SLEEPQS));  in sleepq_broadcast()
1032 		MPASS(sq != NULL);  in sleepq_timeout()
1066 	MPASS(wchan != NULL);  in sleepq_remove()
1082 	MPASS(sq != NULL);  in sleepq_remove()
1083 	MPASS(td->td_wchan == wchan);  in sleepq_remove()
1102 	MPASS(TD_ON_SLEEPQ(td));  in sleepq_abort()
1103 	MPASS(td->td_flags & TDF_SINTR);  in sleepq_abort()
1104 	MPASS(intrval == EINTR || intrval == ERESTART);  in sleepq_abort()
1129 	MPASS(wchan != NULL);  in sleepq_abort()
1131 	MPASS(sq != NULL);  in sleepq_abort()
1185 	MPASS((queue >= 0) && (queue < NR_SLEEPQS));  in sleepq_sbuf_print_stacks()