tavor_qalloc_info_t
tavor_qalloc_info_t new_cqinfo, old_cqinfo;
tavor_queue_alloc(tavor_state_t *state, tavor_qalloc_info_t *qa_info,
tavor_queue_free(tavor_state_t *state, tavor_qalloc_info_t *qa_info)
tavor_qalloc_info_t new_srqinfo, old_srqinfo;
int tavor_queue_alloc(tavor_state_t *state, tavor_qalloc_info_t *qa_info,
void tavor_queue_free(tavor_state_t *state, tavor_qalloc_info_t *qa_info);