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_alloc_mr() -> (struct ib_device_ops)->alloc_mr()

Type Parameter Key Value
PARAM_VALUE 0 ibpd 4096-ptr_max
PARAM_VALUE 0 ibpd->device 4096-ptr_max
PARAM_VALUE 0 ibpd->device->ops.alloc_mr 1-u64max
PARAM_VALUE 1 type 0-4,6-u32max
BUF_SIZE 0 ibpd (-1)-s32max
BUF_SIZE 0 ibpd (-1)-s32max
DATA_SOURCE 0 ibpd $0
DATA_SOURCE 1 type $1
DATA_SOURCE 2 max_sg $2
FUZZY_MAX 1 type 1
STR_LEN 0 ibpd (-1),3,6-8
STR_LEN 0 ibpd (-1),3,6-8
CONTAINER 0 -552-8-8+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 ibpd->device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 ibpd->device->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 ibpd->device->phys_port_cnt
NO_OVERFLOW_SIMPLE 2 max_sg
HALF_LOCKED2 &cls_conn->ep_mutex
HALF_LOCKED2 &clt_path->init_mutex
HALF_LOCKED2 &iser_conn->state_mutex
HALF_LOCKED2 &srv->paths_mutex
HALF_LOCKED2 global &rx_queue_mutex