Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/ulp/rtrs/rtrs.c ib_post_recv() -> (struct ib_device_ops)->post_recv()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ibqp | 4096-ptr_max |
| PARAM_VALUE | 0 | ibqp->device | 4096-ptr_max |
| PARAM_VALUE | 1 | wr | 4625569757284040704,8305745209580060672 |
| PARAM_VALUE | 2 | bad | 8345863804857966592 |
| DATA_SOURCE | 0 | ibqp | $0 |
| DATA_SOURCE | 1 | wr | $1 |
| CONTAINER | 0 | -48-8-0+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING |
net/rds/ib_recv.c ib_post_recv() -> (struct ib_device_ops)->post_recv()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ibqp | 4096-ptr_max |
| PARAM_VALUE | 0 | ibqp->device | 4096-ptr_max |
| PARAM_VALUE | 1 | wr | 4096-ptr_max |
| PARAM_VALUE | 2 | bad | 7610836141361397760 |
| DATA_SOURCE | 0 | ibqp | $0 |
| DATA_SOURCE | 1 | wr | $1 |
| CONTAINER | 0 | -48-8-0+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/infiniband/core/verbs.c ib_post_recv() -> (struct ib_device_ops)->post_recv()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ibqp | 4096-ptr_max |
| PARAM_VALUE | 0 | ibqp->device | 4096-ptr_max |
| PARAM_VALUE | 0 | ibqp->device->ops.drain_rq | 0 |
| PARAM_VALUE | 0 | ibqp->qp_sec->ports_pkeys->alt.state | 0-2 |
| PARAM_VALUE | 0 | ibqp->qp_sec->ports_pkeys->main.state | 0-2 |
| PARAM_VALUE | 0 | ibqp->real_qp | 4096-ptr_max |
| PARAM_VALUE | 0 | ibqp->real_qp->counter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ibqp->real_qp->counter->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ibqp->real_qp->counter->mode.mode | 0-2 |
| PARAM_VALUE | 0 | ibqp->real_qp->device | 4096-ptr_max |
| PARAM_VALUE | 1 | wr | 5270080822104555520 |
| PARAM_VALUE | 1 | wr->next | 0 |
| PARAM_VALUE | 1 | wr->num_sge | 0 |
| PARAM_VALUE | 1 | wr->sg_list | 0 |
| PARAM_VALUE | 1 | wr->wr_cqe | 539912447893467136 |
| PARAM_VALUE | 1 | wr->wr_id | 539912447893467136 |
| PARAM_VALUE | 2 | bad | 8952177314011402240 |
| CAPPED_DATA | 0 | ibqp->real_qp->device | 1 |
| DATA_SOURCE | 0 | ibqp | $0 |
| DATA_SOURCE | 1 | wr | $1 |
| CONTAINER | 0 | -48-8-0+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &pool->lock |
net/sunrpc/xprtrdma/svc_rdma_recvfrom.c ib_post_recv() -> (struct ib_device_ops)->post_recv()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ibqp | 4096-ptr_max |
| PARAM_VALUE | 0 | ibqp->device | 4096-ptr_max |
| PARAM_VALUE | 1 | wr | 4096-ptr_max |
| PARAM_VALUE | 1 | wr->next | 0,4096-ptr_max |
| PARAM_VALUE | 2 | bad | 6189177375452389376 |
| PARAM_VALUE | 2 | *bad | 0 |
| BUF_SIZE | 1 | wr | 0,32 |
| BUF_SIZE | 1 | wr | 0,32 |
| DATA_SOURCE | 0 | ibqp | $0 |
| DATA_SOURCE | 1 | wr | $1 |
| CONTAINER | 0 | -48-8-0+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/infiniband/ulp/ipoib/ipoib_cm.c ib_post_recv() -> (struct ib_device_ops)->post_recv()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ibqp | 4096-ptr_max |
| PARAM_VALUE | 0 | ibqp->device | 4096-ptr_max |
| PARAM_VALUE | 1 | wr | 4096-ptr_max |
| PARAM_VALUE | 1 | wr->wr_cqe | 0,2147483648,18446744071562067968-u64max |
| PARAM_VALUE | 1 | wr->wr_id | 0,2147483648,18446744071562067968-u64max |
| PARAM_VALUE | 2 | bad | 912816732032503808 |
| CAPPED_DATA | 1 | wr->wr_id | 1 |
| DATA_SOURCE | 0 | ibqp | $0 |
| DATA_SOURCE | 1 | wr | $1 |
| CONTAINER | 0 | -48-8-0+0 | $(-1) |
| BIT_INFO | 1 | wr->wr_id | 0xc0000000,0xffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/infiniband/hw/mlx4/mad.c ib_post_recv() -> (struct ib_device_ops)->post_recv()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ibqp | 4096-ptr_max |
| PARAM_VALUE | 0 | ibqp->device | 4096-ptr_max |
| PARAM_VALUE | 1 | wr | 137985251432431616 |
| PARAM_VALUE | 1 | wr->next | 0 |
| PARAM_VALUE | 1 | wr->num_sge | 1 |
| PARAM_VALUE | 1 | wr->sg_list | 6773558481309114368 |
| PARAM_VALUE | 1 | wr->wr_cqe | 17179869184-17179871231,21474836480-21474838527 |
| PARAM_VALUE | 1 | wr->wr_id | 17179869184-17179871231,21474836480-21474838527 |
| PARAM_VALUE | 2 | bad | 8101099232255025152 |
| DATA_SOURCE | 0 | ibqp | $0 |
| DATA_SOURCE | 1 | wr | $1 |
| CONTAINER | 0 | -48-8-0+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &pool->lock |
drivers/infiniband/ulp/iser/iser_verbs.c ib_post_recv() -> (struct ib_device_ops)->post_recv()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ibqp | 4096-ptr_max |
| PARAM_VALUE | 0 | ibqp->device | 4096-ptr_max |
| PARAM_VALUE | 1 | wr | 4697103692578111488,7316833035450417152 |
| PARAM_VALUE | 1 | wr->next | 0 |
| PARAM_VALUE | 1 | wr->num_sge | 1 |
| PARAM_VALUE | 1 | wr->sg_list | 4096-ptr_max |
| PARAM_VALUE | 1 | wr->wr_cqe | 4096-ptr_max |
| PARAM_VALUE | 1 | wr->wr_id | 4096-18446744073709547520 |
| PARAM_VALUE | 2 | bad | 2497456925771620352 |
| DATA_SOURCE | 0 | ibqp | $0 |
| DATA_SOURCE | 1 | wr | $1 |
| CONTAINER | 0 | -48-8-0+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/infiniband/core/mad.c ib_post_recv() -> (struct ib_device_ops)->post_recv()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ibqp | 4096-ptr_max |
| PARAM_VALUE | 0 | ibqp->device | 4096-ptr_max |
| PARAM_VALUE | 1 | wr | 6585861401991671808 |
| PARAM_VALUE | 1 | wr->wr_cqe | 4096-ptr_max |
| PARAM_VALUE | 1 | wr->wr_id | 4096-18446744073709547520 |
| PARAM_VALUE | 2 | bad | 4721277518663794688 |
| DATA_SOURCE | 0 | ibqp | $0 |
| DATA_SOURCE | 1 | wr | $1 |
| CONTAINER | 0 | -48-8-0+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &device->client_data_rwsem | ||
| HALF_LOCKED2 | global &clients_rwsem | ||
| HALF_LOCKED2 | global &devices_rwsem |
drivers/infiniband/ulp/rtrs/rtrs-clt.c ib_post_recv() -> (struct ib_device_ops)->post_recv()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ibqp | 4096-ptr_max |
| PARAM_VALUE | 0 | ibqp->device | 4096-ptr_max |
| PARAM_VALUE | 1 | wr | 4096-ptr_max |
| PARAM_VALUE | 1 | wr->wr_cqe | 8556408699779784704 |
| PARAM_VALUE | 1 | wr->wr_id | 8556408699779784704 |
| PARAM_VALUE | 2 | bad | 4213005283842723840 |
| BUF_SIZE | 1 | wr->next | (-1),64 |
| DATA_SOURCE | 0 | ibqp | $0 |
| DATA_SOURCE | 1 | wr | $1 |
| CONTAINER | 0 | -48-8-0+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &pool->lock |
drivers/nvme/host/rdma.c ib_post_recv() -> (struct ib_device_ops)->post_recv()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ibqp | 4096-ptr_max |
| PARAM_VALUE | 0 | ibqp->device | 4096-ptr_max |
| PARAM_VALUE | 1 | wr | 7961085930589216768 |
| PARAM_VALUE | 1 | wr->next | 0 |
| PARAM_VALUE | 1 | wr->num_sge | 1 |
| PARAM_VALUE | 1 | wr->sg_list | 6735546497728860160 |
| PARAM_VALUE | 1 | wr->wr_cqe | 4096-ptr_max |
| PARAM_VALUE | 1 | wr->wr_id | 4096-18446744073709547520 |
| PARAM_VALUE | 2 | bad | 4793404771646226432 |
| DATA_SOURCE | 0 | ibqp | $0 |
| DATA_SOURCE | 1 | wr | $1 |
| CONTAINER | 0 | -48-8-0+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/smb/smbdirect/connection.c ib_post_recv() -> (struct ib_device_ops)->post_recv()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ibqp | 4096-ptr_max |
| PARAM_VALUE | 0 | ibqp->device | 4096-ptr_max |
| PARAM_VALUE | 1 | wr | 4791333881087279104 |
| PARAM_VALUE | 1 | wr->next | 0 |
| PARAM_VALUE | 1 | wr->num_sge | 1 |
| PARAM_VALUE | 1 | wr->sg_list | 4096-ptr_max |
| PARAM_VALUE | 1 | wr->wr_cqe | 4096-ptr_max |
| PARAM_VALUE | 1 | wr->wr_id | 4096-18446744073709547520 |
| PARAM_VALUE | 2 | bad | 7119839630139944960 |
| DATA_SOURCE | 0 | ibqp | $0 |
| DATA_SOURCE | 1 | wr | $1 |
| CONTAINER | 0 | -48-8-0+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/infiniband/core/uverbs_cmd.c ib_uverbs_post_recv() -> (struct ib_device_ops)->post_recv()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | wr | 0,4096-ptr_max |
| PARAM_VALUE | 2 | bad | 1574759495447511040 |
| BUF_SIZE | 1 | wr | (-1),32-s32max |
| BUF_SIZE | 1 | wr | (-1),32-s32max |
| DATA_SOURCE | 1 | wr | r ib_uverbs_unmarshall_recv |
| CONTAINER | 0 | *(-48-8-0+384) | $(-1) |
| RX_PATH | |||
| HALF_LOCKED2 | &file->device->disassociate_srcu |
net/sunrpc/xprtrdma/verbs.c ib_post_recv() -> (struct ib_device_ops)->post_recv()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ibqp | 4096-ptr_max |
| PARAM_VALUE | 0 | ibqp->device | 4096-ptr_max |
| PARAM_VALUE | 1 | wr | 4096-ptr_max |
| PARAM_VALUE | 1 | wr->next | 0,4096-ptr_max |
| PARAM_VALUE | 2 | bad | 5550759561323847680 |
| BUF_SIZE | 1 | wr | 0,32 |
| BUF_SIZE | 1 | wr | 0,32 |
| DATA_SOURCE | 0 | ibqp | $0 |
| DATA_SOURCE | 1 | wr | $1 |
| CONTAINER | 0 | -48-8-0+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &pool->lock |
net/9p/trans_rdma.c ib_post_recv() -> (struct ib_device_ops)->post_recv()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ibqp | 4096-ptr_max |
| PARAM_VALUE | 0 | ibqp->device | 4096-ptr_max |
| PARAM_VALUE | 1 | wr | 3694690793919594496 |
| PARAM_VALUE | 1 | wr->next | 0 |
| PARAM_VALUE | 1 | wr->num_sge | 1 |
| PARAM_VALUE | 1 | wr->sg_list | 4742882727595155456 |
| PARAM_VALUE | 1 | wr->wr_cqe | 4096-ptr_max |
| PARAM_VALUE | 1 | wr->wr_id | 4096-18446744073709547520 |
| PARAM_VALUE | 2 | bad | 2780771444296622080 |
| DATA_SOURCE | 0 | ibqp | $0 |
| DATA_SOURCE | 1 | wr | $1 |
| CONTAINER | 0 | -48-8-0+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &rdma->rq_sem | ||
| HALF_LOCKED2 | &client->trans->sq_sem | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &v9ses->rename_sem | ||
| TYPE_LOCK | (struct p9_trans_rdma)->rq_sem |
drivers/infiniband/ulp/isert/ib_isert.c ib_post_recv() -> (struct ib_device_ops)->post_recv()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ibqp | 4096-ptr_max |
| PARAM_VALUE | 0 | ibqp->device | 4096-ptr_max |
| PARAM_VALUE | 2 | bad | 629055744825823232 |
| BUF_SIZE | 1 | wr | (-1),4096 |
| BUF_SIZE | 1 | wr | (-1),4096 |
| DATA_SOURCE | 0 | ibqp | $0 |
| DATA_SOURCE | 1 | wr | $1 |
| CONTAINER | 0 | -48-8-0+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING |
net/smc/smc_wr.c ib_post_recv() -> (struct ib_device_ops)->post_recv()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ibqp | 4096-ptr_max |
| PARAM_VALUE | 0 | ibqp->device | 4096-ptr_max |
| PARAM_VALUE | 1 | wr | 4096-ptr_max |
| PARAM_VALUE | 2 | bad | 608869254637744128 |
| DATA_SOURCE | 0 | ibqp | $0 |
| DATA_SOURCE | 1 | wr | $1 |
| CONTAINER | 0 | -48-8-0+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/infiniband/ulp/srpt/ib_srpt.c ib_post_recv() -> (struct ib_device_ops)->post_recv()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ibqp | 4096-ptr_max |
| PARAM_VALUE | 0 | ibqp->device | 4096-ptr_max |
| PARAM_VALUE | 1 | wr | 2666425866341113856 |
| PARAM_VALUE | 1 | wr->next | 0 |
| PARAM_VALUE | 1 | wr->num_sge | 1 |
| PARAM_VALUE | 1 | wr->sg_list | 2564934926040256512 |
| PARAM_VALUE | 1 | wr->wr_cqe | 4096-ptr_max |
| PARAM_VALUE | 1 | wr->wr_id | 4096-18446744073709547520 |
| PARAM_VALUE | 2 | bad | 8111123473527492608 |
| DATA_SOURCE | 0 | ibqp | $0 |
| DATA_SOURCE | 1 | wr | $1 |
| CONTAINER | 0 | -48-8-0+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/infiniband/ulp/srp/ib_srp.c ib_post_recv() -> (struct ib_device_ops)->post_recv()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ibqp | 4096-ptr_max |
| PARAM_VALUE | 0 | ibqp->device | 4096-ptr_max |
| PARAM_VALUE | 1 | wr | 3855171891156410368 |
| PARAM_VALUE | 1 | wr->next | 0 |
| PARAM_VALUE | 1 | wr->num_sge | 1 |
| PARAM_VALUE | 1 | wr->sg_list | 1618197272792739840 |
| PARAM_VALUE | 1 | wr->wr_cqe | 4096-ptr_max |
| PARAM_VALUE | 1 | wr->wr_id | 4096-18446744073709547520 |
| PARAM_VALUE | 2 | bad | 5916953599435341824 |
| DATA_SOURCE | 0 | ibqp | $0 |
| DATA_SOURCE | 1 | wr | $1 |
| CONTAINER | 0 | -48-8-0+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &pool->lock |
drivers/infiniband/hw/mlx5/gsi.c ib_post_recv() -> (struct ib_device_ops)->post_recv()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ibqp | 4096-ptr_max |
| PARAM_VALUE | 0 | ibqp->device | 4096-ptr_max |
| PARAM_VALUE | 1 | wr | 9132125375759085568 |
| PARAM_VALUE | 1 | wr->next | 0 |
| PARAM_VALUE | 1 | wr->num_sge | 0 |
| PARAM_VALUE | 1 | wr->sg_list | 0 |
| PARAM_VALUE | 1 | wr->wr_cqe | 2755247306756599808 |
| PARAM_VALUE | 1 | wr->wr_id | 2755247306756599808 |
| PARAM_VALUE | 2 | bad | 5165220311047340032 |
| BUF_SIZE | 1 | wr->wr_cqe | 8 |
| DATA_SOURCE | 0 | ibqp | $0 |
| DATA_SOURCE | 1 | wr | $1 |
| CONTAINER | 0 | -48-8-0+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/infiniband/ulp/ipoib/ipoib_ib.c ib_post_recv() -> (struct ib_device_ops)->post_recv()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ibqp | 4096-ptr_max |
| PARAM_VALUE | 0 | ibqp->device | 4096-ptr_max |
| PARAM_VALUE | 1 | wr | 4096-ptr_max |
| PARAM_VALUE | 1 | wr->wr_cqe | 0,2147483648-u32max,18446744071562067968-u64max |
| PARAM_VALUE | 1 | wr->wr_id | 0,2147483648-u32max,18446744071562067968-u64max |
| PARAM_VALUE | 2 | bad | 3035682976131567616 |
| DATA_SOURCE | 0 | ibqp | $0 |
| DATA_SOURCE | 1 | wr | $1 |
| CONTAINER | 0 | -48-8-0+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dev->ethtool->rss_lock | ||
| HALF_LOCKED2 | &dev->lock |
drivers/nvme/target/rdma.c ib_post_recv() -> (struct ib_device_ops)->post_recv()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ibqp | 4096-ptr_max |
| PARAM_VALUE | 0 | ibqp->device | 4096-ptr_max |
| PARAM_VALUE | 1 | wr | 4096-ptr_max |
| PARAM_VALUE | 2 | bad | 5585215887630721024 |
| DATA_SOURCE | 0 | ibqp | $0 |
| DATA_SOURCE | 1 | wr | $1 |
| CONTAINER | 0 | -48-8-0+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING |