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_check_mapping()

Type Parameter Key Value
PARAM_VALUE 0 state 8338592864387719168
PARAM_VALUE 0 state->desc 4097-18446744073709547521
PARAM_VALUE 0 state->fr.end 0,4096-ptr_max
PARAM_VALUE 0 state->fr.next 0,4097-18446744073709547521
PARAM_VALUE 0 state->nmdesc 0-2
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 1 ch->target 4096-ptr_max
PARAM_VALUE 1 ch->target->srp_host 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->cmd->num_sge 1
PARAM_VALUE 2 req->nmdesc 0-2
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
PARAM_VALUE 3 scat 1-u64max
PARAM_VALUE 4 count s32min-(-1),1-s32max
CAPPED_DATA 1 ch->req_lim 1
CAPPED_DATA 4 count 1
DATA_SOURCE 1 ch $1
DATA_SOURCE 2 req $2
DATA_SOURCE 4 count r ib_dma_map_sg
FUZZY_MAX 2 req->nmdesc 0
MEM_ZERO 0 state
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 scat unit_byte
UNITS 4 count unit_byte
HALF_LOCKED2 &sdev->state_mutex