Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/mlx5/mr.c mlx5_ib_alloc_mr() -> __mlx5_ib_alloc_mr()

Type Parameter Key Value
PARAM_VALUE 0 pd 4096-ptr_max
PARAM_VALUE 0 pd->device 4096-ptr_max
PARAM_VALUE 0 pd->device->ops.alloc_mr 1-u64max
PARAM_VALUE 1 mr_type 0-4,6-u32max
PARAM_VALUE 3 max_num_meta_sg 0
BUF_SIZE 0 pd s32min,(-1)-s32max
BUF_SIZE 0 pd s32min,(-1)-s32max
DATA_SOURCE 0 pd $0
DATA_SOURCE 1 mr_type $1
DATA_SOURCE 2 max_num_sg $2
FUZZY_MAX 1 mr_type 1
STR_LEN 0 pd (-1),3,6-8
STR_LEN 0 pd (-1),3,6-8
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 pd->device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 pd->device->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 pd->device->phys_port_cnt
NO_OVERFLOW_SIMPLE 2 max_num_sg
HALF_LOCKED2 &cls_conn->ep_mutex
HALF_LOCKED2 &clt_path->init_mutex
HALF_LOCKED2 &iser_conn->state_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &srv->paths_mutex
HALF_LOCKED2 global &rx_queue_mutex

drivers/infiniband/hw/mlx5/mr.c mlx5_ib_alloc_mr_integrity() -> __mlx5_ib_alloc_mr()

Type Parameter Key Value
PARAM_VALUE 0 pd 4096-ptr_max
PARAM_VALUE 0 pd->device 4096-ptr_max
PARAM_VALUE 0 pd->device->dev.parent->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 pd->device->ops.alloc_mr 1-u64max
PARAM_VALUE 0 pd->device->ops.alloc_mr_integrity 1-u64max
PARAM_VALUE 0 pd->device->ops.map_mr_sg_pi 1-u64max
PARAM_VALUE 1 mr_type 5
PARAM_VALUE 3 max_num_meta_sg 1-u32max
BUF_SIZE 0 pd s32min,(-1)-s32max
BUF_SIZE 0 pd s32min,(-1)-s32max
DATA_SOURCE 0 pd $0
DATA_SOURCE 2 max_num_sg $1
DATA_SOURCE 3 max_num_meta_sg $2
STR_LEN 0 pd (-1),3,6-8
STR_LEN 0 pd (-1),3,6-8
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &cls_conn->ep_mutex
HALF_LOCKED2 &iser_conn->state_mutex
HALF_LOCKED2 global &rx_queue_mutex