Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/infiniband/ulp/iser/iser_verbs.c ib_dereg_mr() -> ib_dereg_mr_user()

Type Parameter Key Value
PARAM_VALUE 0 mr 4096-u64max
PARAM_VALUE 1 udata 0
BUF_SIZE 0 mr (-1),280
BUF_SIZE 0 mr (-1),280
DATA_SOURCE 0 mr $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 mr->attr.pbl_size
NO_OVERFLOW_SIMPLE 0 mr->buf.tbl_limit
NO_OVERFLOW_SIMPLE 0 mr->device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 mr->device->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 mr->device->phys_port_cnt
NO_OVERFLOW_SIMPLE 0 mr->hwmr.num_pbes
NO_OVERFLOW_SIMPLE 0 mr->ibmr.device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 mr->ibmr.device->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 mr->ibmr.device->phys_port_cnt
NO_OVERFLOW_SIMPLE 0 mr->info.pbl_info.num_pbes
NO_OVERFLOW_SIMPLE 0 mr->info.pbl_info.num_pbls
NO_OVERFLOW_SIMPLE 0 mr->max_allowed_buf
NO_OVERFLOW_SIMPLE 0 mr->max_pages
NO_OVERFLOW_SIMPLE 0 mr->mem.page_cnt
NO_OVERFLOW_SIMPLE 0 mr->mr.max_segs
NO_OVERFLOW_SIMPLE 0 mr->num_buf
NO_OVERFLOW_SIMPLE 0 mr->page_cnt
NO_OVERFLOW_SIMPLE 0 mr->pdir.npages
HALF_LOCKED2 &cls_conn->ep_mutex
HALF_LOCKED2 &iser_conn->state_mutex
HALF_LOCKED2 global &rx_queue_mutex
TYPE_LOCK (struct iser_conn)->state_mutex

net/rds/ib_rdma.c ib_dereg_mr() -> ib_dereg_mr_user()

Type Parameter Key Value
PARAM_VALUE 1 udata 0
DATA_SOURCE 0 mr $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 mr->length 0-u32max
NO_OVERFLOW_SIMPLE 0 mr->iova
NO_OVERFLOW_SIMPLE 0 mr->length

net/sunrpc/xprtrdma/frwr_ops.c ib_dereg_mr() -> ib_dereg_mr_user()

Type Parameter Key Value
PARAM_VALUE 1 udata 0
DATA_SOURCE 0 mr $0
RX_PATH
TASK_NOT_RUNNING

drivers/infiniband/core/mr_pool.c ib_dereg_mr() -> ib_dereg_mr_user()

Type Parameter Key Value
PARAM_VALUE 0 mr 4096-ptr_max
PARAM_VALUE 1 udata 0
DATA_SOURCE 0 mr $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

drivers/infiniband/ulp/rtrs/rtrs-clt.c ib_dereg_mr() -> ib_dereg_mr_user()

Type Parameter Key Value
PARAM_VALUE 0 mr 1-u64max
PARAM_VALUE 1 udata 0
DATA_SOURCE 0 mr $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &clt_path->init_mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock

net/rds/ib_frmr.c ib_dereg_mr() -> ib_dereg_mr_user()

Type Parameter Key Value
PARAM_VALUE 0 mr 1-u64max
PARAM_VALUE 1 udata 0
DATA_SOURCE 0 mr $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &pool->flush_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &rds_ib_devices_lock
TYPE_LOCK (struct rds_ib_mr_pool)->flush_lock

drivers/infiniband/core/uverbs_std_types_mr.c uverbs_free_mr() -> ib_dereg_mr_user()

Type Parameter Key Value
BUF_SIZE 0 mr 1-s32max

drivers/infiniband/ulp/rtrs/rtrs-srv.c ib_dereg_mr() -> ib_dereg_mr_user()

Type Parameter Key Value
PARAM_VALUE 1 udata 0
BUF_SIZE 0 mr (-1),280
BUF_SIZE 0 mr (-1),280
DATA_SOURCE 0 mr $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 mr->attr.pbl_size
NO_OVERFLOW_SIMPLE 0 mr->buf.tbl_limit
NO_OVERFLOW_SIMPLE 0 mr->device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 mr->device->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 mr->device->phys_port_cnt
NO_OVERFLOW_SIMPLE 0 mr->hwmr.num_pbes
NO_OVERFLOW_SIMPLE 0 mr->ibmr.device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 mr->ibmr.device->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 mr->ibmr.device->phys_port_cnt
NO_OVERFLOW_SIMPLE 0 mr->info.pbl_info.num_pbes
NO_OVERFLOW_SIMPLE 0 mr->info.pbl_info.num_pbls
NO_OVERFLOW_SIMPLE 0 mr->max_allowed_buf
NO_OVERFLOW_SIMPLE 0 mr->max_pages
NO_OVERFLOW_SIMPLE 0 mr->mem.page_cnt
NO_OVERFLOW_SIMPLE 0 mr->mr.max_segs
NO_OVERFLOW_SIMPLE 0 mr->num_buf
NO_OVERFLOW_SIMPLE 0 mr->page_cnt
NO_OVERFLOW_SIMPLE 0 mr->pdir.npages
HALF_LOCKED2 &srv->paths_mutex

drivers/infiniband/ulp/srp/ib_srp.c ib_dereg_mr() -> ib_dereg_mr_user()

Type Parameter Key Value
PARAM_VALUE 0 mr 1-u64max
PARAM_VALUE 1 udata 0
DATA_SOURCE 0 mr $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &host->add_target_mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock

net/smc/smc_ib.c ib_dereg_mr() -> ib_dereg_mr_user()

Type Parameter Key Value
PARAM_VALUE 0 mr 1-u64max
PARAM_VALUE 1 udata 0
DATA_SOURCE 0 mr $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &lgr->rmbs_lock
HALF_LOCKED2 &lgr->sndbufs_lock

fs/smb/smbdirect/mr.c ib_dereg_mr() -> ib_dereg_mr_user()

Type Parameter Key Value
PARAM_VALUE 0 mr 1-u64max
PARAM_VALUE 1 udata 0
BUF_SIZE 0 mr (-1),280
BUF_SIZE 0 mr (-1),280
DATA_SOURCE 0 mr $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 mr->attr.pbl_size
NO_OVERFLOW_SIMPLE 0 mr->buf.tbl_limit
NO_OVERFLOW_SIMPLE 0 mr->device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 mr->device->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 mr->device->phys_port_cnt
NO_OVERFLOW_SIMPLE 0 mr->hwmr.num_pbes
NO_OVERFLOW_SIMPLE 0 mr->ibmr.device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 mr->ibmr.device->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 mr->ibmr.device->phys_port_cnt
NO_OVERFLOW_SIMPLE 0 mr->info.pbl_info.num_pbes
NO_OVERFLOW_SIMPLE 0 mr->info.pbl_info.num_pbls
NO_OVERFLOW_SIMPLE 0 mr->max_allowed_buf
NO_OVERFLOW_SIMPLE 0 mr->max_pages
NO_OVERFLOW_SIMPLE 0 mr->mem.page_cnt
NO_OVERFLOW_SIMPLE 0 mr->mr.max_segs
NO_OVERFLOW_SIMPLE 0 mr->num_buf
NO_OVERFLOW_SIMPLE 0 mr->page_cnt
NO_OVERFLOW_SIMPLE 0 mr->pdir.npages