Lines Matching refs:ASSERT
68 ASSERT(cvp); in __cv_init()
69 ASSERT(name == NULL); in __cv_init()
70 ASSERT(type == CV_DEFAULT); in __cv_init()
71 ASSERT(arg == NULL); in __cv_init()
86 ASSERT(cvp->cv_mutex == NULL); in cv_destroy_wakeup()
87 ASSERT(!waitqueue_active(&cvp->cv_event)); in cv_destroy_wakeup()
97 ASSERT(cvp); in __cv_destroy()
98 ASSERT(cvp->cv_magic == CV_MAGIC); in __cv_destroy()
120 ASSERT(cvp); in cv_wait_common()
121 ASSERT(mp); in cv_wait_common()
122 ASSERT(cvp->cv_magic == CV_MAGIC); in cv_wait_common()
123 ASSERT(mutex_owned(mp)); in cv_wait_common()
130 ASSERT(m == NULL || m == mp); in cv_wait_common()
222 ASSERT(cvp); in __cv_timedwait_common()
223 ASSERT(mp); in __cv_timedwait_common()
224 ASSERT(cvp->cv_magic == CV_MAGIC); in __cv_timedwait_common()
225 ASSERT(mutex_owned(mp)); in __cv_timedwait_common()
237 ASSERT(m == NULL || m == mp); in __cv_timedwait_common()
330 ASSERT(cvp); in __cv_timedwait_hires()
331 ASSERT(mp); in __cv_timedwait_hires()
332 ASSERT(cvp->cv_magic == CV_MAGIC); in __cv_timedwait_hires()
333 ASSERT(mutex_owned(mp)); in __cv_timedwait_hires()
344 ASSERT(m == NULL || m == mp); in __cv_timedwait_hires()
432 ASSERT(cvp); in __cv_signal()
433 ASSERT(cvp->cv_magic == CV_MAGIC); in __cv_signal()
452 ASSERT(cvp); in __cv_broadcast()
453 ASSERT(cvp->cv_magic == CV_MAGIC); in __cv_broadcast()