Lines Matching refs:VERIFY
225 VERIFY(mqp->mq_working != B_TRUE); in mergeq_fini()
300 VERIFY(MUTEX_HELD(&mqp->mq_lock)); in mergeq_reset()
301 VERIFY(mqp->mq_working == B_FALSE); in mergeq_reset()
323 VERIFY(MUTEX_HELD(&mqp->mq_lock)); in mergeq_grow()
324 VERIFY(mqp->mq_working == B_FALSE); in mergeq_grow()
372 VERIFY(MUTEX_HELD(&mqp->mq_lock)); in mergeq_slot()
373 VERIFY(mqp->mq_next < mqp->mq_cap); in mergeq_slot()
378 VERIFY(mqp->mq_nproc != (mqp->mq_next + 1) % mqp->mq_cap); in mergeq_slot()
397 VERIFY(MUTEX_HELD(&mqp->mq_lock)); in mergeq_push()
398 VERIFY(slot < mqp->mq_cap); in mergeq_push()
430 VERIFY(mqp->mq_gnext != mqp->mq_gnproc || in mergeq_pop_one()
454 VERIFY(MUTEX_HELD(&mqp->mq_lock)); in mergeq_pop()
455 VERIFY(mqp->mq_nproc < mqp->mq_cap); in mergeq_pop()
465 VERIFY(mqp->mq_iserror == B_TRUE || mqp->mq_nitems == 1); in mergeq_pop()
468 VERIFY(mqp->mq_nitems >= 2); in mergeq_pop()
586 VERIFY(mqp->mq_nactthrs == 0); in mergeq_merge()
589 VERIFY(mqp->mq_nitems == 1); in mergeq_merge()