Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/ulp/rtrs/rtrs.c rtrs_iu_post_rdma_write_imm() -> rtrs_post_send()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | head | 0,614097974863245312,2989401363867893760 |
| PARAM_VALUE | 2 | wr | 1559547456950767616 |
| PARAM_VALUE | 3 | tail | 0 |
| BUF_SIZE | 1 | head | 0,40 |
| BUF_SIZE | 1 | head | 0,40 |
| DATA_SOURCE | 1 | head | $8 |
| DATA_SOURCE | 3 | tail | $9 |
| BIT_INFO | 1 | head | 0x0,0x29fdfefbf16ab000 |
| BIT_INFO | 1 | head | 0x0,0x29fdfefbf16ab000 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read |
drivers/infiniband/ulp/rtrs/rtrs.c rtrs_iu_post_send() -> rtrs_post_send()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | head->num_sge | 0 |
| PARAM_VALUE | 1 | head->opcode | 32 |
| PARAM_VALUE | 1 | head->send_flags | 0 |
| PARAM_VALUE | 1 | head->wr_cqe | 4299311668273283072 |
| PARAM_VALUE | 2 | wr | 8994213610877624320 |
| PARAM_VALUE | 3 | tail | 0 |
| BUF_SIZE | 1 | head | (-1)-0,40 |
| BUF_SIZE | 1 | head | (-1)-0,40 |
| DATA_SOURCE | 1 | head | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &clt_path->init_mutex | ||
| HALF_LOCKED2 | &pool->lock |
drivers/infiniband/ulp/rtrs/rtrs.c rtrs_post_rdma_write_imm_empty() -> rtrs_post_send()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | head | 0 |
| PARAM_VALUE | 2 | wr | 8672824906018713600 |
| PARAM_VALUE | 3 | tail | 0 |
| DATA_SOURCE | 1 | head | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &pool->lock |