dapl_os_assert
dapl_os_assert(cno_ptr->header.magic == DAPL_MAGIC_CNO);
dapl_os_assert(cno_ptr->cno_ref_count == 0);
dapl_os_assert(head_evd_ptr != NULL);
dapl_os_assert(NULL != cookie_ptr);
dapl_os_assert(((DAPL_HEADER *)context)->magic == DAPL_MAGIC_PSP ||
dapl_os_assert(ep_ptr != NULL);
dapl_os_assert(0); /* shouldn't happen */
dapl_os_assert(sp_ptr->header.handle_type ==
dapl_os_assert(0);
dapl_os_assert(!(DAPL_BAD_HANDLE(ep_ptr, DAPL_MAGIC_EP)) ||
dapl_os_assert(cr_ptr->header.magic == DAPL_MAGIC_CR ||
dapl_os_assert(ep1 == ep2);
dapl_os_assert(ep_attr2.max_recv_dtos == ep_attr1.max_recv_dtos);
dapl_os_assert(ep_attr2.max_request_dtos == ep_attr1.max_request_dtos);
dapl_os_assert((ep2->param.ep_state !=
dapl_os_assert(ep_ptr->header.magic == DAPL_MAGIC_EP ||
dapl_os_assert(0); /* shouldn't happen */
dapl_os_assert(((DAPL_HEADER *)context)->magic == DAPL_MAGIC_EP ||
dapl_os_assert(!"NULL == context\n");
dapl_os_assert(!"async EVD overflow\n");
dapl_os_assert(hca_handle ==
dapl_os_assert(evd_ptr->ib_cq_handle == cq_handle);
dapl_os_assert(evd_ptr->header.magic == DAPL_MAGIC_EVD);
dapl_os_assert(dat_status == DAT_SUCCESS);
dapl_os_assert(dat_status == DAT_SUCCESS);
dapl_os_assert(async_evd != NULL);
dapl_os_assert(new_event);
dapl_os_assert(dat_status == DAT_SUCCESS);
dapl_os_assert(dat_status == DAT_SUCCESS);
dapl_os_assert(!"NULL == context\n");
dapl_os_assert((ibtype == OP_SEND &&
dapl_os_assert(ibtype == OP_BIND_MW);
dapl_os_assert(!"Invalid Operation type");
dapl_os_assert(ibtype == OP_RECEIVE &&
dapl_os_assert(dat_status == DAT_SUCCESS);
dapl_os_assert(!"Bad return from dapls_ib_completion_poll");
dapl_os_assert(!"Bad return from dapls_ib_event_poll");
dapl_os_assert(dat_status == DAT_SUCCESS);
dapl_os_assert(dat_status == DAT_SUCCESS);
dapl_os_assert(evd_ptr->header.magic == DAPL_MAGIC_EVD);
dapl_os_assert(evd_ptr->evd_ref_count == 0);
dapl_os_assert(dat_status == DAT_SUCCESS);
dapl_os_assert(evd_ptr->evd_state == DAPL_EVD_STATE_WAITED ||
dapl_os_assert(dat_status == DAT_SUCCESS);
dapl_os_assert(evd_ptr->evd_state == DAPL_EVD_STATE_WAITED ||
dapl_os_assert(!ep_ptr->srq_attached ||
dapl_os_assert((NULL != cookie));
dapl_os_assert(NULL != srq_ptr);
dapl_os_assert(srq_ptr->header.magic == DAPL_MAGIC_SRQ);
dapl_os_assert((NULL != ep_ptr));
dapl_os_assert((ep_ptr->header.magic == DAPL_MAGIC_EP) ||
dapl_os_assert(dat_status == DAT_SUCCESS);
dapl_os_assert(element->next_element);
dapl_os_assert(!NO_DATUM(element->datum));
dapl_os_assert(pp_table);
dapl_os_assert(p_table && p_table->table);
dapl_os_assert(p_table && p_size);
dapl_os_assert(p_table);
dapl_os_assert(p_table);
dapl_os_assert(p_table);
dapl_os_assert(p_table);
dapl_os_assert(!NO_DATUM(curr->datum));
dapl_os_assert(op == DAPL_HASH_ITERATE_NEXT);
dapl_os_assert(!NO_DATUM(p_table->iterator->datum));
dapl_os_assert(ia_ptr->header.magic == DAPL_MAGIC_IA);
dapl_os_assert(ia_ptr->async_error_evd == NULL);
dapl_os_assert(dapl_llist_is_empty(&ia_ptr->lmr_list_head));
dapl_os_assert(dapl_llist_is_empty(&ia_ptr->rmr_list_head));
dapl_os_assert(dapl_llist_is_empty(&ia_ptr->ep_list_head));
dapl_os_assert(dapl_llist_is_empty(&ia_ptr->evd_list_head));
dapl_os_assert(dapl_llist_is_empty(&ia_ptr->cno_list_head));
dapl_os_assert(dapl_llist_is_empty(&ia_ptr->psp_list_head));
dapl_os_assert(dapl_llist_is_empty(&ia_ptr->rsp_list_head));
dapl_os_assert(sp_ptr->header.handle_type ==
dapl_os_assert(!dapl_llist_is_empty(head));
dapl_os_assert(!dapl_llist_is_empty(head));
dapl_os_assert(!dapl_llist_is_empty(head));
dapl_os_assert(0);
dapl_os_assert(entry->list_head == head);
dapl_os_assert(!dapl_llist_is_empty(head));
dapl_os_assert(!dapl_llist_is_empty(head));
dapl_os_assert(0);
dapl_os_assert(sp_ptr->header.magic == DAPL_MAGIC_PSP ||
dapl_os_assert(dapl_llist_is_empty(&sp_ptr->cr_list_head));
dapl_os_assert(param->pz_handle != NULL);
dapl_os_assert(srq_ptr->header.magic == DAPL_MAGIC_SRQ);
dapl_os_assert(desc >= qp->qp_sq_desc_addr &&
dapl_os_assert(srq->srq_wridlist->wl_freel_entries <=
dapl_os_assert(wqhdr->wq_wrid_post != NULL);
dapl_os_assert(wqhdr->wq_wrid_post->wl_srq_en != 0);
dapl_os_assert(srq->srq_wridlist->wl_freel_entries <=
dapl_os_assert(wqhdr->wq_wrid_post != NULL);
dapl_os_assert(wqhdr->wq_wrid_post->wl_srq_en != 0);
dapl_os_assert(g_tavor_state[i].uarpg_baseaddr ==
dapl_os_assert(desc >= qp->qp_sq_desc_addr &&
dapl_os_assert(srq->srq_wridlist->wl_freel_entries <=
dapl_os_assert(wqe_index < srq->srq_wq_numwqe);
dapl_os_assert(wqhdr->wq_wrid_post != NULL);
dapl_os_assert(wqhdr->wq_wrid_post->wl_srq_en != 0);
dapl_os_assert(srq_handle->srq_wq_numwqe - idx ==
dapl_os_assert(ep_ptr->param.pz_handle != NULL);
dapl_os_assert(ep_ptr->param.connect_evd_handle != NULL);
dapl_os_assert(srq_ptr->param.pz_handle != NULL);
dapl_os_assert(srq_ptr);
dapl_os_assert(srq_ptr);
dapl_os_assert(srq_ptr && srq_ptr->srq_handle);
dapl_os_assert(srq_handle->srq_num == msrq->msrq_srqnum);
dapl_os_assert(event_ptr != NULL);
dapl_os_assert(!dapl_llist_is_empty(&ia_ptr->ep_list_head));
dapl_os_assert(ep_ptr != NULL);
dapl_os_assert(!dapl_llist_is_empty(&ia_ptr->evd_list_head));
dapl_os_assert(evd_ptr != NULL);
dapl_os_assert(create_msg.evd_cq_real_size > 0);
dapl_os_assert(srqp->srq_freepr_num_events > 0);
dapl_os_assert(qp_ptr->qp_srq_enabled);
dapl_os_assert(cq_handle->cq_num == mcq->mcq_cqnum);
dapl_os_assert(DAT_LMR_COOKIE_SIZE == sizeof (reg_msg.mrs_shm_cookie));
dapl_os_assert(wridlist->wl_srq_en);
dapl_os_assert(last_container == 1);
dapl_os_assert(curr != NULL);
dapl_os_assert(wqe_index < wl->wl_size);
dapl_os_assert(wl->wl_freel_entries <= wl->wl_size);
dapl_os_assert(retval == DAT_SUCCESS);
dapl_os_assert(retval == DAT_SUCCESS);
dapl_os_assert(wridlist->wl_free_list == NULL);
dapl_os_assert(wridlist->wl_srq_en == 1);
dapl_os_assert(wridlist->wl_lock->wrl_on_srq == 1);
dapl_os_assert(wq != NULL);
dapl_os_assert(r_wridlist != NULL);
dapl_os_assert(rwq->wq_wrid_lock != NULL);
dapl_os_assert(qp->qp_rq_wqhdr->wq_wrid_post == NULL);
dapl_os_assert(error || (wre_tmp->wr_signaled_dbd &