Lines Matching refs:ASSERT
100 ASSERT(*tpp == tp); in sleepq_unlink()
101 ASSERT(tp->t_sleepq != NULL); in sleepq_unlink()
137 ASSERT(THREAD_LOCK_HELD(t)); /* holding the lock on the sleepq */ in sleepq_insert()
138 ASSERT(t->t_sleepq == NULL); /* not already on a sleep queue */ in sleepq_insert()
172 ASSERT(THREAD_LOCK_HELD(t)); /* thread locked via sleepq */ in sleepq_unsleep()
181 ASSERT(t->t_state == TS_SLEEP); in sleepq_unsleep()
198 ASSERT(THREAD_LOCK_HELD(t)); /* thread locked via sleepq */ in sleepq_dequeue()
199 ASSERT(t->t_sleepq != NULL); in sleepq_dequeue()
226 ASSERT(tp->t_wchan0 == NULL); in sleepq_wakeone_chan()
238 ASSERT(tp->t_state == TS_SLEEP); in sleepq_wakeone_chan()
257 ASSERT(tp->t_wchan0 == NULL); in sleepq_wakeall_chan()
262 ASSERT(tp->t_state == TS_SLEEP); in sleepq_wakeall_chan()