317 	MPASS(td->td_sleepqueue != NULL);  in sleepq_add()
318 	MPASS(wchan != NULL);  in sleepq_add()
319 	MPASS((queue >= 0) && (queue < NR_SLEEPQS));  in sleepq_add()
368 		MPASS(wchan == sq->sq_wchan);  in sleepq_add()
369 		MPASS(lock == sq->sq_lock);  in sleepq_add()
370 		MPASS((flags & SLEEPQ_TYPE) == sq->sq_type);  in sleepq_add()
404 	MPASS(TD_ON_SLEEPQ(td));  in sleepq_set_timeout_sbt()
405 	MPASS(td->td_sleepqueue == NULL);  in sleepq_set_timeout_sbt()
406 	MPASS(wchan != NULL);  in sleepq_set_timeout_sbt()
428 	MPASS((queue >= 0) && (queue < NR_SLEEPQS));  in sleepq_sleepcnt()
511 	MPASS(wchan != NULL);  in sleepq_catch_signals()
533 		MPASS(td->td_lock != &sc->sc_lock);  in sleepq_catch_signals()
591 		MPASS(TD_ON_SLEEPQ(td));  in sleepq_switch()
602 	MPASS(td->td_sleepqueue == NULL);  in sleepq_switch()
656 	MPASS(!(td->td_flags & TDF_SINTR));  in sleepq_wait()
686 	MPASS(!(td->td_flags & TDF_SINTR));  in sleepq_timedwait()
723 	MPASS(wchan != NULL);  in sleepq_type()
747 	MPASS(td != NULL);  in sleepq_resume_thread()
748 	MPASS(sq->sq_wchan != NULL);  in sleepq_resume_thread()
749 	MPASS(td->td_wchan == sq->sq_wchan);  in sleepq_resume_thread()
777 	MPASS(pri == 0 || (pri >= PRI_MIN && pri <= PRI_MAX));  in sleepq_resume_thread()
789 		MPASS(!drop);  in sleepq_resume_thread()
793 	MPASS(drop);  in sleepq_resume_thread()
804 	MPASS(td != NULL);  in sleepq_remove_thread()
805 	MPASS(sq->sq_wchan != NULL);  in sleepq_remove_thread()
806 	MPASS(td->td_wchan == sq->sq_wchan);  in sleepq_remove_thread()
807 	MPASS(td->td_sqqueue < NR_SLEEPQS && td->td_sqqueue >= 0);  in sleepq_remove_thread()
872 	MPASS(TD_ON_SLEEPQ(td));  in sleepq_remove_nested()
878 	MPASS(sq != NULL);  in sleepq_remove_nested()
897 		MPASS(TAILQ_EMPTY(&sq->sq_blocked[i]));  in sleepq_dtor()
898 		MPASS(sq->sq_blockedcnt[i] == 0);  in sleepq_dtor()
936 	MPASS((queue >= 0) && (queue < NR_SLEEPQS));  in sleepq_signal()
974 	MPASS(besttd != NULL);  in sleepq_signal()
997 	MPASS((queue >= 0) && (queue < NR_SLEEPQS));  in sleepq_broadcast()
1065 		MPASS(sq != NULL);  in sleepq_timeout()
1099 	MPASS(wchan != NULL);  in sleepq_remove()
1115 	MPASS(sq != NULL);  in sleepq_remove()
1116 	MPASS(td->td_wchan == wchan);  in sleepq_remove()
1135 	MPASS(TD_ON_SLEEPQ(td));  in sleepq_abort()
1136 	MPASS(td->td_flags & TDF_SINTR);  in sleepq_abort()
1137 	MPASS((intrval == 0 && (td->td_flags & TDF_SIGWAIT) != 0) ||  in sleepq_abort()
1163 	MPASS(wchan != NULL);  in sleepq_abort()
1165 	MPASS(sq != NULL);  in sleepq_abort()
1219 	MPASS((queue >= 0) && (queue < NR_SLEEPQS));  in sleepq_sbuf_print_stacks()