Lines Matching refs:VERIFY
349 VERIFY(avl_find(&author->p_ct_held, ct, &where) == NULL);
357 VERIFY(avl_find(&contract_avl, ct, &where) == NULL);
365 VERIFY(avl_find(&type->ct_type_avl, ct, &where) == NULL);
500 VERIFY(p == curproc);
550 VERIFY(ct->ct_regent == parent);
644 VERIFY(avl_find(&p->p_ct_held, ct, &where) == NULL);
927 VERIFY(contract_abandon(ct, p, 0) == 0);
2064 VERIFY(q->ctq_listno == CTEL_CONTRACT);
2065 VERIFY(newq->ctq_listno == CTEL_PBUNDLE);
2126 VERIFY(MUTEX_HELD(&q->ctq_lock));
2267 VERIFY(!list_link_active((list_node_t *)
2576 VERIFY(nvlist_size(temp->cte_data, &size,
2581 VERIFY(nvlist_size(temp->cte_gdata, &gsize,
2595 VERIFY(nvlist_pack(temp->cte_data, &buf, &size,
2600 VERIFY(nvlist_pack(temp->cte_gdata, &tmp,