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()
864 	MPASS(TD_ON_SLEEPQ(td));  in sleepq_remove_nested()
870 	MPASS(sq != NULL);  in sleepq_remove_nested()
889 		MPASS(TAILQ_EMPTY(&sq->sq_blocked[i]));  in sleepq_dtor()
890 		MPASS(sq->sq_blockedcnt[i] == 0);  in sleepq_dtor()
928 	MPASS((queue >= 0) && (queue < NR_SLEEPQS));  in sleepq_signal()
966 	MPASS(besttd != NULL);  in sleepq_signal()
989 	MPASS((queue >= 0) && (queue < NR_SLEEPQS));  in sleepq_broadcast()
1057 		MPASS(sq != NULL);  in sleepq_timeout()
1091 	MPASS(wchan != NULL);  in sleepq_remove()
1107 	MPASS(sq != NULL);  in sleepq_remove()
1108 	MPASS(td->td_wchan == wchan);  in sleepq_remove()
1127 	MPASS(TD_ON_SLEEPQ(td));  in sleepq_abort()
1128 	MPASS(td->td_flags & TDF_SINTR);  in sleepq_abort()
1129 	MPASS((intrval == 0 && (td->td_flags & TDF_SIGWAIT) != 0) ||  in sleepq_abort()
1155 	MPASS(wchan != NULL);  in sleepq_abort()
1157 	MPASS(sq != NULL);  in sleepq_abort()
1211 	MPASS((queue >= 0) && (queue < NR_SLEEPQS));  in sleepq_sbuf_print_stacks()