Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/irdma/cm.c irdma_free_lsmm_rsrc() -> (struct ib_device_ops)->dereg_mr()

Type Parameter Key Value
PARAM_VALUE 0 ibmr 1-u64max
PARAM_VALUE 1 udata 0
BUF_SIZE 0 ibmr (-1),280
BUF_SIZE 0 ibmr (-1),280
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/core/verbs.c ib_dealloc_pd_user() -> (struct ib_device_ops)->dereg_mr()

Type Parameter Key Value
PARAM_VALUE 0 ibmr 1-u64max
PARAM_VALUE 1 udata 0
CONTAINER 0 *(-544-8-8+32) $(-1)
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &device_list_mutex
HALF_LOCKED2 global &ig.device_list_mutex

drivers/infiniband/core/verbs.c ib_dereg_mr_user() -> (struct ib_device_ops)->dereg_mr()

Type Parameter Key Value
PARAM_VALUE 0 ibmr 4096-ptr_max
PARAM_VALUE 0 ibmr->device 4096-ptr_max
BUF_SIZE 0 ibmr (-1),1-s32max
BUF_SIZE 0 ibmr (-1),1-s32max
CAPPED_DATA 0 &ibmr->res 1
DATA_SOURCE 0 ibmr $0
DATA_SOURCE 1 udata $1
CONTAINER 0 -544-8-0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 ibmr->length 0-u32max
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->hwmr.num_pbls
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->info.pbl_info.pbl_size
NO_OVERFLOW_SIMPLE 0 ibmr->iova
NO_OVERFLOW_SIMPLE 0 ibmr->length
NO_OVERFLOW_SIMPLE 0 ibmr->max_allowed_buf
NO_OVERFLOW_SIMPLE 0 ibmr->max_pages
NO_OVERFLOW_SIMPLE 0 ibmr->mem.mtt->size
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->pbl_mtr.kmem->ntrunks
NO_OVERFLOW_SIMPLE 0 ibmr->pdir.npages
HALF_LOCKED2 &pool->flush_lock