Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/ulp/srp/ib_srp.c srp_queuecommand() -> srp_map_data()

Type Parameter Key Value
PARAM_VALUE 0 scmnd 4096-ptr_max
PARAM_VALUE 0 scmnd->cmd_len 0-u16max
PARAM_VALUE 0 scmnd->device 4096-ptr_max
PARAM_VALUE 0 scmnd->flags 0-s32max
PARAM_VALUE 0 scmnd->resid_len 0
PARAM_VALUE 0 scmnd->result 0
PARAM_VALUE 0 scmnd->submitter 0-1
PARAM_VALUE 0 *scmnd->cmnd 0-255
PARAM_VALUE 1 ch 4096-ptr_max
PARAM_VALUE 1 ch->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 ch->req_lim 0-s32max
PARAM_VALUE 1 ch->send_cq 4096-ptr_max
PARAM_VALUE 1 ch->send_cq->device 4096-ptr_max
PARAM_VALUE 1 ch->send_cq->device->ops.poll_cq 4096-ptr_max
PARAM_VALUE 2 req 4096-ptr_max
PARAM_VALUE 2 req->cmd 4096-ptr_max
PARAM_VALUE 2 req->cmd->buf 4096-ptr_max
PARAM_VALUE 2 req->scmnd 4096-ptr_max
PARAM_VALUE 2 req->scmnd->device 4096-ptr_max
PARAM_VALUE 2 req->scmnd->flags 0-s32max
PARAM_VALUE 2 req->scmnd->resid_len 0
PARAM_VALUE 2 req->scmnd->result 0
PARAM_VALUE 2 req->scmnd->submitter 0-1
CAPPED_DATA 1 ch->req_lim 1
DATA_SOURCE 0 scmnd $1
DATA_SOURCE 2 req r scsi_cmd_priv
PARAM_COMPARE 1 &ch->free_tx != $1->free_tx.next
HARD_MAX 0 scmnd->submitter 1
MEM_ZERO 0 scmnd->sense_buffer
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sdev->state_mutex