Defined in 3 files as a member:
- drivers/infiniband/hw/ionic/ionic_fw.h, line 864 (as a member)
- drivers/infiniband/hw/vmw_pvrdma/pvrdma_dev_api.h, line 655 (as a member)
- include/rdma/ib_verbs.h, line 2681 (as a member)
Defined in 2 files as a function:
- drivers/infiniband/hw/cxgb4/cq.c, line 37 (as a function)
- drivers/infiniband/ulp/rtrs/rtrs.c, line 285 (as a function)
Referenced in 30 files:
- drivers/infiniband/core/cq.c
- drivers/infiniband/core/device.c
- drivers/infiniband/core/uverbs_cmd.c, line 3714
- drivers/infiniband/core/uverbs_std_types_cq.c
- drivers/infiniband/core/verbs.c, line 2267
- drivers/infiniband/hw/bnxt_re/ib_verbs.c
- drivers/infiniband/hw/bnxt_re/main.c, line 1345
- drivers/infiniband/hw/cxgb4/cq.c
- drivers/infiniband/hw/cxgb4/provider.c, line 473
- drivers/infiniband/hw/efa/efa_main.c, line 385
- drivers/infiniband/hw/erdma/erdma_main.c, line 511
- drivers/infiniband/hw/hns/hns_roce_main.c, line 738
- drivers/infiniband/hw/ionic/ionic_controlpath.c, line 1260
- drivers/infiniband/hw/ionic/ionic_ibdev.c, line 240
- drivers/infiniband/hw/irdma/verbs.c, line 5541
- drivers/infiniband/hw/mana/device.c, line 35
- drivers/infiniband/hw/mlx4/main.c, line 2535
- drivers/infiniband/hw/mlx5/main.c, line 4605
- drivers/infiniband/hw/mlx5/umr.c
- drivers/infiniband/hw/mthca/mthca_provider.c, line 1100
- drivers/infiniband/hw/ocrdma/ocrdma_main.c, line 148
- drivers/infiniband/hw/qedr/main.c, line 208
- drivers/infiniband/hw/usnic/usnic_ib_main.c, line 364
- drivers/infiniband/hw/vmw_pvrdma/pvrdma_cq.c, line 244
- drivers/infiniband/hw/vmw_pvrdma/pvrdma_main.c, line 203
- drivers/infiniband/sw/rdmavt/vt.c, line 356
- drivers/infiniband/sw/rxe/rxe_verbs.c, line 1480
- drivers/infiniband/sw/siw/siw_main.c, line 241
- drivers/infiniband/ulp/rtrs/rtrs.c
- drivers/net/ethernet/mellanox/mlx5/core/cq.c
Smatch caller information:
drivers/infiniband/ulp/rtrs/rtrs.c rtrs_cq_qp_create() -> destroy_cq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rdev | 4096-ptr_max |
| PARAM_VALUE | 0 | rdev->cid | 0-4294967294 |
| PARAM_VALUE | 0 | rdev->cm_id | 4096-ptr_max |
| PARAM_VALUE | 0 | rdev->cm_id->device->cq_pools_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | rdev->cq | 0-ptr_max |
| PARAM_VALUE | 0 | rdev->path | 4096-ptr_max |
| PARAM_VALUE | 0 | rdev->path->irq_con_num | 1-u32max |
| CAPPED_DATA | 0 | rdev->cid | 1 |
| CAPPED_DATA | 0 | rdev->path->irq_con_num | 1 |
| DATA_SOURCE | 0 | rdev | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | rdev->cq->cqe_used | |
| NO_OVERFLOW_SIMPLE | 0 | rdev->nr_cqe | |
| HALF_LOCKED2 | &con->con_mutex | ||
| HALF_LOCKED2 | &id_priv->handler_mutex | ||
| HALF_LOCKED2 | &listen_id->handler_mutex | ||
| HALF_LOCKED2 | &srv->paths_mutex |
drivers/infiniband/ulp/rtrs/rtrs.c rtrs_cq_qp_destroy() -> destroy_cq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rdev | 4096-ptr_max |
| PARAM_VALUE | 0 | rdev->qp | 0 |
| DATA_SOURCE | 0 | rdev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | rdev->nr_cqe | |
| HALF_LOCKED2 | &con->con_mutex | ||
| HALF_LOCKED2 | &srv->paths_mutex |
drivers/infiniband/hw/cxgb4/cq.c c4iw_create_cq() -> destroy_cq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rdev | 4096-ptr_max |
| PARAM_VALUE | 0 | rdev->stats.lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | rdev->stats.qid.max | 1-u64max |
| PARAM_VALUE | 1 | cq | 4096-ptr_max |
| PARAM_VALUE | 1 | cq->bar2_va | 0,4096-ptr_max |
| PARAM_VALUE | 1 | cq->cqid | 1-u32max |
| PARAM_VALUE | 1 | cq->gen | 1 |
| PARAM_VALUE | 1 | cq->qp_errp | 4096-ptr_max |
| PARAM_VALUE | 1 | cq->queue | 4096-ptr_max |
| PARAM_VALUE | 1 | cq->rdev | 4096-ptr_max |
| PARAM_VALUE | 1 | cq->sw_queue | 0,16,4096-ptr_max |
| PARAM_VALUE | 1 | cq->vector | s32min-65534 |
| PARAM_VALUE | 2 | uctx | 4096-ptr_max |
| PARAM_VALUE | 3 | skb | 4096-ptr_max |
| PARAM_VALUE | 4 | wr_waitp | 4096-ptr_max |
| PARAM_VALUE | 4 | wr_waitp->completion.done | 0-4294967293,u32max |
| PARAM_VALUE | 4 | wr_waitp->completion.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 4 | wr_waitp->completion.wait.task_list.next | 4096-ptr_max |
| PARAM_VALUE | 4 | wr_waitp->completion.wait.task_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 4 | wr_waitp->completion.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 4 | wr_waitp->completion.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 4 | wr_waitp->completion.wait.task_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 4 | wr_waitp->ret | (-5),0 |
| BUF_SIZE | 3 | skb | 64 |
| BUF_SIZE | 3 | skb | 64 |
| BUF_SIZE | 4 | wr_waitp | 104 |
| CAPPED_DATA | 4 | wr_waitp | 1 |
| DATA_SOURCE | 3 | skb | r alloc_skb |
| DATA_SOURCE | 4 | wr_waitp | r c4iw_alloc_wr_wait |
| NOSPEC | 1 | cq->vector | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | cq->vector | 1-65534[c] |
| USER_PTR | 3 | skb->data |
drivers/infiniband/hw/cxgb4/cq.c c4iw_destroy_cq() -> destroy_cq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rdev | 4096-ptr_max |
| PARAM_VALUE | 1 | cq | 4096-ptr_max |
| PARAM_VALUE | 2 | uctx | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |