Lines Matching refs:ASSERT
73 ASSERT(THREAD_LOCK_HELD(curthread)); \
74 ASSERT(curthread != CPU->cpu_idle_thread); \
75 ASSERT(CPU_ON_INTR(CPU) == 0); \
76 ASSERT(curthread->t_wchan0 == NULL); \
77 ASSERT(curthread->t_wchan == NULL); \
78 ASSERT(curthread->t_state == TS_ONPROC); \
97 ASSERT(s->s_slpq != NULL); \
111 ASSERT(((sema_impl_t *)sp)->s_slpq == NULL); in sema_destroy()
125 ASSERT(THREAD_LOCK_HELD(t)); in sema_queue()
149 ASSERT(THREAD_LOCK_HELD(t)); in sema_dequeue()
181 ASSERT(THREAD_LOCK_HELD(t)); in sema_unsleep()
239 ASSERT(s->s_count >= 0); in sema_p()
274 ASSERT(s->s_count >= 0); in sema_p_sig()
301 ASSERT(THREAD_LOCK_HELD(tp)); in sema_p_sig()
307 ASSERT(tp->t_state == TS_SLEEP); in sema_p_sig()
349 ASSERT(THREAD_LOCK_HELD(tp)); in sema_v()
355 ASSERT(tp->t_state == TS_SLEEP); in sema_v()