Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/mlx5/mr.c _mlx5_alloc_mkey_descs() -> mlx5_alloc_priv_descs()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->ops.alloc_mr 1-u64max
PARAM_VALUE 1 mr 4096-ptr_max
PARAM_VALUE 1 mr->access_mode 1-2
PARAM_VALUE 1 mr->desc_size 8,16
PARAM_VALUE 1 mr->ibmr.device 4096-ptr_max
PARAM_VALUE 1 mr->ibmr.device->ops.alloc_mr 1-u64max
PARAM_VALUE 1 mr->max_descs s32min-0,4-s32max
PARAM_VALUE 2 ndescs s32min-0,4-s32max
PARAM_VALUE 3 desc_size 8,16
BUF_SIZE 1 mr 784
BUF_SIZE 1 mr->ibmr.pd s32min,(-1)-s32max
BUF_SIZE 1 mr->klm_mr (-1),784
BUF_SIZE 1 mr->klm_mr->ibmr.pd (-1)-s32max
BUF_SIZE 1 mr->mtt_mr (-1),784
BUF_SIZE 1 mr->mtt_mr->ibmr.pd (-1)-s32max
BUF_SIZE 1 mr->sig (-1),80
DATA_SOURCE 1 mr $1
DATA_SOURCE 2 ndescs $2
DATA_SOURCE 3 desc_size $3
STR_LEN 1 mr->ibmr.pd (-1),3,6-8
STR_LEN 1 mr->klm_mr->ibmr.pd (-1),3,6-8
STR_LEN 1 mr->mtt_mr->ibmr.pd (-1),3,6-8
BIT_INFO 1 mr->max_descs 0x0,0x7ffffffc
BIT_INFO 2 ndescs 0x0,0x7ffffffc
HARD_MAX 3 desc_size 16
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 device->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 device->phys_port_cnt
NO_OVERFLOW_SIMPLE 1 mr->ibmr.device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 1 mr->ibmr.device->num_comp_vectors
NO_OVERFLOW_SIMPLE 1 mr->ibmr.device->phys_port_cnt
NO_OVERFLOW_SIMPLE 1 mr->klm_mr->ibmr.device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 1 mr->klm_mr->ibmr.device->num_comp_vectors
NO_OVERFLOW_SIMPLE 1 mr->klm_mr->ibmr.device->phys_port_cnt
NO_OVERFLOW_SIMPLE 1 mr->mtt_mr->ibmr.device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 1 mr->mtt_mr->ibmr.device->num_comp_vectors
NO_OVERFLOW_SIMPLE 1 mr->mtt_mr->ibmr.device->phys_port_cnt
UNITS 3 desc_size unit_byte
HALF_LOCKED2 &cls_conn->ep_mutex
HALF_LOCKED2 &iser_conn->state_mutex
HALF_LOCKED2 global &rx_queue_mutex