Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/core/verbs.c ib_map_mr_sg() -> (struct ib_device_ops)->map_mr_sg()

Type Parameter Key Value
PARAM_VALUE 0 ibmr 4096-ptr_max
PARAM_VALUE 0 ibmr->device 4096-ptr_max
PARAM_VALUE 0 ibmr->device->ops.map_mr_sg 1-u64max
BUF_SIZE 0 ibmr (-1),280
BUF_SIZE 0 ibmr (-1),280
BUF_SIZE 1 sg (-1)-0,32-s32max
BUF_SIZE 1 sg (-1)-0,32-s32max
DATA_SOURCE 0 ibmr $0
DATA_SOURCE 1 sg $1
DATA_SOURCE 2 sg_nents $2
DATA_SOURCE 3 sg_offset $3
CONTAINER 0 -576-8-0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 sg_nents 2-s32max[c]
NO_OVERFLOW_SIMPLE 0 ibmr->attr.pbl_size
NO_OVERFLOW_SIMPLE 0 ibmr->buf.tbl_limit
NO_OVERFLOW_SIMPLE 0 ibmr->device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 ibmr->device->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 ibmr->device->phys_port_cnt
NO_OVERFLOW_SIMPLE 0 ibmr->hwmr.num_pbes
NO_OVERFLOW_SIMPLE 0 ibmr->ibmr.device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 ibmr->ibmr.device->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 ibmr->ibmr.device->phys_port_cnt
NO_OVERFLOW_SIMPLE 0 ibmr->info.pbl_info.num_pbes
NO_OVERFLOW_SIMPLE 0 ibmr->info.pbl_info.num_pbls
NO_OVERFLOW_SIMPLE 0 ibmr->max_allowed_buf
NO_OVERFLOW_SIMPLE 0 ibmr->max_pages
NO_OVERFLOW_SIMPLE 0 ibmr->mem.page_cnt
NO_OVERFLOW_SIMPLE 0 ibmr->mr.max_segs
NO_OVERFLOW_SIMPLE 0 ibmr->num_buf
NO_OVERFLOW_SIMPLE 0 ibmr->page_cnt
NO_OVERFLOW_SIMPLE 0 ibmr->pdir.npages
HALF_LOCKED2 &mr->mutex
HALF_LOCKED2 &srv->paths_mutex
HALF_LOCKED2 rcu_read