tavor_special_qp_rsrc_free
status = tavor_special_qp_rsrc_free(state, type, port);
static int tavor_special_qp_rsrc_free(tavor_state_t *state, ibt_sqp_type_t type,
if (tavor_special_qp_rsrc_free(state, type, port) != DDI_SUCCESS) {