Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 5 files:
- drivers/infiniband/hw/cxgb4/cm.c, line 165
- drivers/infiniband/hw/cxgb4/device.c, line 1364
- drivers/infiniband/hw/cxgb4/ev.c, line 217
- drivers/infiniband/hw/cxgb4/provider.c, line 492
- drivers/infiniband/hw/cxgb4/qp.c, line 2100
Smatch caller information:
drivers/infiniband/hw/cxgb4/ev.c c4iw_ev_dispatch() -> c4iw_qp_rem_ref()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | qp | 4096-ptr_max |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/infiniband/hw/cxgb4/cm.c deref_qp() -> c4iw_qp_rem_ref()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &ep->com.mutex | ||
| HALF_LOCKED2 | &ep->parent_ep->com.mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &qhp->mutex |
drivers/infiniband/hw/cxgb4/qp.c c4iw_destroy_qp() -> c4iw_qp_rem_ref()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | qp | 4096-ptr_max |
| PARAM_VALUE | 0 | qp->device | 4096-ptr_max |
| PARAM_VALUE | 0 | qp->qp_sec | 0,4096-ptr_max |
| PARAM_VALUE | 0 | qp->qp_sec->destroying | 1 |
| PARAM_VALUE | 0 | qp->qp_sec->ports_pkeys | 0,4096-ptr_max |
| PARAM_VALUE | 0 | qp->real_qp | 4096-ptr_max |
| PARAM_VALUE | 0 | qp->real_qp->xrcd->tgt_qps_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | qp->real_qp->xrcd->tgt_qps_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | qp->xrcd->tgt_qps_rwsem.first_waiter->type | 0-1 |
| BUF_SIZE | 0 | qp | (-1),1-s32max |
| BUF_SIZE | 0 | qp | (-1),1-s32max |
| BUF_SIZE | 0 | qp->pd | s32min,(-1)-s32max |
| BUF_SIZE | 0 | qp->qp_context | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | qp->recv_cq | (-1)-s32max |
| BUF_SIZE | 0 | qp->rwq_ind_tbl | (-1)-s32max |
| BUF_SIZE | 0 | qp->send_cq | (-1)-s32max |
| BUF_SIZE | 0 | qp->srq | (-1)-s32max |
| CAPPED_DATA | 0 | qp | 1 |
| CAPPED_DATA | 0 | qp->real_qp | 1 |
| DATA_SOURCE | 0 | qp | $0 |
| STR_LEN | 0 | qp->device | (-1),3,6-9 |
| STR_LEN | 0 | qp->pd | (-1),3,6-8 |
| STR_LEN | 0 | qp->pd->res.kern_name | (-1),7,9-10 |
| STR_LEN | 0 | qp->qp_sec->dev | (-1) |
| STR_LEN | 0 | qp->real_qp->device | (-1),3,6-9 |
| STR_LEN | 0 | qp->real_qp->pd | (-1),3,6-8 |
| STR_LEN | 0 | qp->recv_cq->res.kern_name | (-1),7-8 |
| STR_LEN | 0 | qp->send_cq->res.kern_name | (-1),7-8 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | qp->counter->port | 0-255[c] |
| USER_DATA | 0 | qp->qp_sec->qp->qp_type | 2-4,8,255 |
| USER_DATA | 0 | qp->qp_type | 2-4,8,255 |
| NO_OVERFLOW_SIMPLE | 0 | qp->device->hw_stats_attr_index | |
| NO_OVERFLOW_SIMPLE | 0 | qp->device->num_comp_vectors | |
| NO_OVERFLOW_SIMPLE | 0 | qp->device->phys_port_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | qp->qp_sec->dev->hw_stats_attr_index | |
| NO_OVERFLOW_SIMPLE | 0 | qp->qp_sec->dev->num_comp_vectors | |
| NO_OVERFLOW_SIMPLE | 0 | qp->qp_sec->dev->phys_port_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | qp->recv_cq->cqe_used | |
| NO_OVERFLOW_SIMPLE | 0 | qp->send_cq->cqe_used |
drivers/infiniband/hw/cxgb4/device.c deref_qps() -> c4iw_qp_rem_ref()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/infiniband/core/iwcm.c cm_close_handler() -> (struct ib_device_ops)->iw_rem_ref()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | qp | 1-u64max |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/infiniband/core/iwcm.c cm_conn_rep_handler() -> (struct ib_device_ops)->iw_rem_ref()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | qp | 1-u64max |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/infiniband/core/iwcm.c destroy_cm_id() -> (struct ib_device_ops)->iw_rem_ref()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | qp | 1-u64max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/infiniband/core/iwcm.c iw_cm_accept() -> (struct ib_device_ops)->iw_rem_ref()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | qp | 1-u64max |
| BUF_SIZE | 0 | qp | (-1),624 |
| BUF_SIZE | 0 | qp | (-1),624 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &ctx->mutex | ||
| HALF_LOCKED2 | &sport->mutex | ||
| HALF_LOCKED2 | &srv->paths_mutex |
drivers/infiniband/core/iwcm.c iw_cm_connect() -> (struct ib_device_ops)->iw_rem_ref()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | qp | 1-u64max |
| BUF_SIZE | 0 | qp | (-1),624 |
| BUF_SIZE | 0 | qp | (-1),624 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &id_priv->handler_mutex | ||
| HALF_LOCKED2 | &iser_conn->state_mutex |