Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 ch 4096-ptr_max
PARAM_VALUE 0 ch->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ch->req_lim 0-s32max
PARAM_VALUE 0 ch->send_cq 4096-ptr_max
PARAM_VALUE 0 ch->send_cq->device 4096-ptr_max
PARAM_VALUE 0 ch->send_cq->device->ops.poll_cq 4096-ptr_max
PARAM_VALUE 0 ch->target 4096-ptr_max
PARAM_VALUE 0 ch->target->global_rkey 0
PARAM_VALUE 0 ch->target->srp_host 4096-ptr_max
PARAM_VALUE 1 req 4096-ptr_max
PARAM_VALUE 1 req->cmd 4096-ptr_max
PARAM_VALUE 1 req->cmd->buf 4096-ptr_max
PARAM_VALUE 1 req->cmd->num_sge 1
PARAM_VALUE 1 req->nmdesc 0-2
PARAM_VALUE 1 req->scmnd 4096-ptr_max
PARAM_VALUE 1 req->scmnd->device 4096-ptr_max
PARAM_VALUE 1 req->scmnd->flags 0-s32max
PARAM_VALUE 1 req->scmnd->resid_len 0
PARAM_VALUE 1 req->scmnd->result 0
PARAM_VALUE 1 req->scmnd->submitter 0-1
PARAM_VALUE 4 idb_len 20
PARAM_VALUE 5 idb_rkey 8531222924738019328
BUF_SIZE 2 next_mr 0
BUF_SIZE 3 end_mr 0
CAPPED_DATA 0 ch->req_lim 1
DATA_SOURCE 0 ch $1
DATA_SOURCE 1 req $2
FUZZY_MAX 1 req->nmdesc 0
RX_PATH
TASK_NOT_RUNNING
UNITS 4 idb_len unit_byte
HALF_LOCKED2 &sdev->state_mutex