Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/ulp/srpt/ib_srpt.c srpt_handle_cmd() -> srpt_get_desc_tbl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | recv_ioctx | 4096-ptr_max |
| PARAM_VALUE | 0 | recv_ioctx->wait_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | ioctx | 4096-ptr_max |
| PARAM_VALUE | 1 | ioctx->ch | 4096-ptr_max |
| PARAM_VALUE | 1 | ioctx->cmd.map_cpu | 0 |
| PARAM_VALUE | 1 | ioctx->cmd.map_tag | 0-s32max |
| PARAM_VALUE | 1 | ioctx->cmd.sam_task_attr | 32-34,36 |
| PARAM_VALUE | 1 | ioctx->n_rdma | 0 |
| PARAM_VALUE | 1 | ioctx->n_rw_ctx | 0 |
| PARAM_VALUE | 1 | ioctx->queue_status_only | 0 |
| PARAM_VALUE | 1 | ioctx->state | 0 |
| PARAM_VALUE | 2 | srp_cmd | 4096-ptr_max |
| PARAM_VALUE | 2 | srp_cmd->task_attr | 0-2,4 |
| PARAM_VALUE | 3 | dir | 2856444396094230528 |
| PARAM_VALUE | 4 | sg | 805983778265505792 |
| PARAM_VALUE | 4 | *sg | 0 |
| PARAM_VALUE | 5 | sg_cnt | 8682673283310968832 |
| PARAM_VALUE | 5 | *sg_cnt | 0 |
| PARAM_VALUE | 6 | data_len | 2249139805839896576 |
| BUF_SIZE | 1 | ioctx->ch | s32min-(-2),1-s32max |
| CAPPED_DATA | 1 | ioctx->ch | 1 |
| CAPPED_DATA | 1 | ioctx->cmd.map_tag | 1 |
| DATA_SOURCE | 0 | recv_ioctx | $1 |
| DATA_SOURCE | 1 | ioctx | $2 |
| FUZZY_MAX | 1 | ioctx->cmd.sam_task_attr | 36 |
| HARD_MAX | 1 | ioctx->cmd.sam_task_attr | 36 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 2 | srp_cmd | unit_byte |
| UNITS | 7 | imm_data_offset | unit_byte |
| HALF_LOCKED2 | &pool->lock |