Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/scsi/csiostor/csio_lnode.c csio_ln_mgmt_submit_req() -> csio_ln_mgmt_submit_wr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mgmtm | 4096-ptr_max |
| PARAM_VALUE | 1 | io_req | 4096-ptr_max |
| PARAM_VALUE | 1 | io_req->dma_buf.vaddr | 4096-ptr_max |
| PARAM_VALUE | 1 | io_req->fw_handle | 4096-18446744073709547520 |
| PARAM_VALUE | 1 | io_req->lnode | 4096-ptr_max |
| PARAM_VALUE | 1 | io_req->rnode | 4096-ptr_max |
| PARAM_VALUE | 2 | sub_op | 1 |
| PARAM_VALUE | 3 | pld | 4096-ptr_max |
| PARAM_VALUE | 3 | pld->vaddr | 4096-ptr_max |
| BUF_SIZE | 0 | mgmtm | 208 |
| BUF_SIZE | 1 | io_req | (-1),16 |
| BUF_SIZE | 1 | io_req | (-1),16 |
| CAPPED_DATA | 1 | io_req | 1 |
| CAPPED_DATA | 4 | pld_len | 1 |
| DATA_SOURCE | 1 | io_req | $0 |
| DATA_SOURCE | 2 | sub_op | $2 |
| DATA_SOURCE | 3 | pld | $3 |
| DATA_SOURCE | 4 | pld_len | $4 |
| PARAM_COMPARE | 3 | pld->len | >= $4 |
| PARAM_COMPARE | 4 | pld_len | <= $3->len |
| CONSTRAINT | 4 | pld_len | <=2130 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 4 | pld_len | unit_byte |
| LOCK2 | &hw->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq | ||
| TYPE_LOCK | (struct csio_hw)->lock |