Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/hw/mlx5/mr.c mlx5_alloc_integrity_descs() -> _mlx5_alloc_mkey_descs()
| 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 | 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 | 4096-ptr_max |
| PARAM_VALUE | 1 | mr->ibmr.device | 4096-ptr_max |
| PARAM_VALUE | 1 | mr->ibmr.device->ops.alloc_mr | 1-u64max |
| PARAM_VALUE | 1 | mr->ibmr.device->ops.alloc_mr_integrity | 1-u64max |
| PARAM_VALUE | 1 | mr->ibmr.device->ops.map_mr_sg_pi | 1-u64max |
| PARAM_VALUE | 1 | mr->klm_mr | 4096-ptr_max |
| PARAM_VALUE | 1 | mr->klm_mr->access_mode | 2 |
| PARAM_VALUE | 1 | mr->klm_mr->desc_map | 0-18446744073709551614 |
| PARAM_VALUE | 1 | mr->klm_mr->desc_size | 16 |
| PARAM_VALUE | 1 | mr->klm_mr->descs | 0,2048-ptr_max |
| PARAM_VALUE | 1 | mr->klm_mr->descs_alloc | 16,4096-ptr_max |
| PARAM_VALUE | 1 | mr->klm_mr->ibmr.device | 4096-ptr_max |
| PARAM_VALUE | 1 | mr->klm_mr->ibmr.device->ops.alloc_mr | 1-u64max |
| PARAM_VALUE | 1 | mr->klm_mr->ibmr.device->ops.alloc_mr_integrity | 1-u64max |
| PARAM_VALUE | 1 | mr->klm_mr->ibmr.device->ops.map_mr_sg_pi | 1-u64max |
| PARAM_VALUE | 1 | mr->klm_mr->ibmr.pd | 4096-ptr_max |
| PARAM_VALUE | 1 | mr->klm_mr->ibmr.pd->device | 4096-ptr_max |
| PARAM_VALUE | 1 | mr->klm_mr->max_descs | s32min-0,4-s32max |
| PARAM_VALUE | 1 | mr->klm_mr->mmkey.type | 1 |
| PARAM_VALUE | 1 | mr->klm_mr->mmkey.wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 1 | mr->klm_mr->mmkey.wait.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | mr->klm_mr->mmkey.wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | mr->klm_mr->mmkey.wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | mr->klm_mr->mmkey.wait.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | mr->klm_mr->umem | 0 |
| PARAM_VALUE | 1 | mr->mtt_mr | 4096-ptr_max |
| PARAM_VALUE | 1 | mr->mtt_mr->access_mode | 1 |
| PARAM_VALUE | 1 | mr->mtt_mr->desc_map | 0-18446744073709551614 |
| PARAM_VALUE | 1 | mr->mtt_mr->desc_size | 8 |
| PARAM_VALUE | 1 | mr->mtt_mr->descs | 0,2048-ptr_max |
| PARAM_VALUE | 1 | mr->mtt_mr->descs_alloc | 16,4096-ptr_max |
| PARAM_VALUE | 1 | mr->mtt_mr->ibmr.device | 4096-ptr_max |
| PARAM_VALUE | 1 | mr->mtt_mr->ibmr.device->ops.alloc_mr | 1-u64max |
| PARAM_VALUE | 1 | mr->mtt_mr->ibmr.device->ops.alloc_mr_integrity | 1-u64max |
| PARAM_VALUE | 1 | mr->mtt_mr->ibmr.device->ops.map_mr_sg_pi | 1-u64max |
| PARAM_VALUE | 1 | mr->mtt_mr->ibmr.pd | 4096-ptr_max |
| PARAM_VALUE | 1 | mr->mtt_mr->ibmr.pd->device | 4096-ptr_max |
| PARAM_VALUE | 1 | mr->mtt_mr->max_descs | s32min-0,4-s32max |
| PARAM_VALUE | 1 | mr->mtt_mr->mmkey.type | 1 |
| PARAM_VALUE | 1 | mr->mtt_mr->mmkey.wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 1 | mr->mtt_mr->mmkey.wait.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | mr->mtt_mr->mmkey.wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | mr->mtt_mr->mmkey.wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | mr->mtt_mr->mmkey.wait.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | mr->mtt_mr->umem | 0 |
| PARAM_VALUE | 1 | mr->sig | 4096-ptr_max |
| PARAM_VALUE | 1 | mr->sig->sig_err_exists | 0 |
| PARAM_VALUE | 1 | mr->sig->sig_status_checked | 1 |
| PARAM_VALUE | 1 | mr->umem | 0 |
| PARAM_VALUE | 2 | ndescs | 4 |
| PARAM_VALUE | 3 | desc_size | 16 |
| PARAM_VALUE | 4 | page_shift | 0 |
| PARAM_VALUE | 5 | access_mode | 2 |
| PARAM_VALUE | 6 | in | 4096-ptr_max |
| PARAM_VALUE | 7 | inlen | 272 |
| BUF_SIZE | 0 | pd | s32min,(-1)-s32max |
| BUF_SIZE | 0 | pd | s32min,(-1)-s32max |
| BUF_SIZE | 1 | mr | 784 |
| BUF_SIZE | 1 | mr->klm_mr | 784 |
| BUF_SIZE | 1 | mr->klm_mr->ibmr.pd | s32min,(-1)-s32max |
| BUF_SIZE | 1 | mr->mtt_mr | 784 |
| BUF_SIZE | 1 | mr->mtt_mr->ibmr.pd | s32min,(-1)-s32max |
| BUF_SIZE | 1 | mr->sig | 80 |
| BUF_SIZE | 6 | in | 272 |
| BUF_SIZE | 6 | in | 272 |
| DATA_SOURCE | 0 | pd | $0 |
| DATA_SOURCE | 1 | mr | $1 |
| DATA_SOURCE | 6 | in | $4 |
| DATA_SOURCE | 7 | inlen | $5 |
| STR_LEN | 0 | pd | (-1),3,6-8 |
| STR_LEN | 0 | 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 |
| 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 | 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 |
drivers/infiniband/hw/mlx5/mr.c mlx5_alloc_mem_reg_descs() -> _mlx5_alloc_mkey_descs()
| 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 | 4096-ptr_max |
| PARAM_VALUE | 1 | mr->ibmr.device | 4096-ptr_max |
| PARAM_VALUE | 1 | mr->ibmr.device->ops.alloc_mr | 1-u64max |
| PARAM_VALUE | 1 | mr->umem | 0 |
| PARAM_VALUE | 2 | ndescs | s32min-0,4-s32max |
| PARAM_VALUE | 3 | desc_size | 8 |
| PARAM_VALUE | 4 | page_shift | 12 |
| PARAM_VALUE | 5 | access_mode | 1 |
| PARAM_VALUE | 6 | in | 4096-ptr_max |
| PARAM_VALUE | 7 | inlen | 272 |
| BUF_SIZE | 0 | pd | s32min,(-1)-s32max |
| BUF_SIZE | 0 | pd | s32min,(-1)-s32max |
| BUF_SIZE | 1 | mr | 784 |
| BUF_SIZE | 6 | in | 272 |
| BUF_SIZE | 6 | in | 272 |
| DATA_SOURCE | 0 | pd | $0 |
| DATA_SOURCE | 1 | mr | $1 |
| DATA_SOURCE | 2 | ndescs | $2 |
| DATA_SOURCE | 6 | in | $3 |
| DATA_SOURCE | 7 | inlen | $4 |
| STR_LEN | 0 | pd | (-1),3,6-8 |
| STR_LEN | 0 | pd | (-1),3,6-8 |
| BIT_INFO | 2 | ndescs | 0x0,0x7ffffffc |
| 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 | 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 | |
| UNITS | 3 | desc_size | unit_byte |
| 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_alloc_sg_gaps_descs() -> _mlx5_alloc_mkey_descs()
| 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 | 4096-ptr_max |
| PARAM_VALUE | 1 | mr->ibmr.device | 4096-ptr_max |
| PARAM_VALUE | 1 | mr->ibmr.device->ops.alloc_mr | 1-u64max |
| PARAM_VALUE | 1 | mr->umem | 0 |
| PARAM_VALUE | 2 | ndescs | s32min-0,4-s32max |
| PARAM_VALUE | 3 | desc_size | 16 |
| PARAM_VALUE | 4 | page_shift | 0 |
| PARAM_VALUE | 5 | access_mode | 2 |
| PARAM_VALUE | 6 | in | 4096-ptr_max |
| PARAM_VALUE | 7 | inlen | 272 |
| BUF_SIZE | 0 | pd | s32min,(-1)-s32max |
| BUF_SIZE | 0 | pd | s32min,(-1)-s32max |
| BUF_SIZE | 1 | mr | 784 |
| BUF_SIZE | 6 | in | 272 |
| BUF_SIZE | 6 | in | 272 |
| DATA_SOURCE | 0 | pd | $0 |
| DATA_SOURCE | 1 | mr | $1 |
| DATA_SOURCE | 2 | ndescs | $2 |
| DATA_SOURCE | 6 | in | $3 |
| DATA_SOURCE | 7 | inlen | $4 |
| STR_LEN | 0 | pd | (-1),3,6-8 |
| STR_LEN | 0 | pd | (-1),3,6-8 |
| BIT_INFO | 2 | ndescs | 0x0,0x7ffffffc |
| 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 | 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 | |
| UNITS | 3 | desc_size | unit_byte |
| 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_pi_mr() -> _mlx5_alloc_mkey_descs()
| 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 | 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 | 4096-ptr_max |
| PARAM_VALUE | 1 | mr->ibmr.device | 4096-ptr_max |
| PARAM_VALUE | 1 | mr->ibmr.device->ops.alloc_mr | 1-u64max |
| PARAM_VALUE | 1 | mr->ibmr.device->ops.alloc_mr_integrity | 1-u64max |
| PARAM_VALUE | 1 | mr->ibmr.device->ops.map_mr_sg_pi | 1-u64max |
| PARAM_VALUE | 1 | mr->ibmr.pd | 4096-ptr_max |
| PARAM_VALUE | 1 | mr->ibmr.pd->device | 4096-ptr_max |
| PARAM_VALUE | 2 | ndescs | s32min-0,4-s32max |
| PARAM_VALUE | 3 | desc_size | 8,16 |
| PARAM_VALUE | 4 | page_shift | 0,12 |
| PARAM_VALUE | 5 | access_mode | 1-2 |
| PARAM_VALUE | 6 | in | 4096-ptr_max |
| PARAM_VALUE | 7 | inlen | 272 |
| BUF_SIZE | 0 | pd | (-1)-s32max |
| BUF_SIZE | 0 | pd | (-1)-s32max |
| BUF_SIZE | 1 | mr | 784 |
| BUF_SIZE | 1 | mr->ibmr.pd | (-1)-s32max |
| BUF_SIZE | 6 | in | 272 |
| BUF_SIZE | 6 | in | 272 |
| DATA_SOURCE | 0 | pd | $0 |
| DATA_SOURCE | 1 | mr | r _kzalloc_noprof |
| DATA_SOURCE | 3 | desc_size | $3 |
| DATA_SOURCE | 5 | access_mode | $4 |
| DATA_SOURCE | 6 | in | r _kzalloc_noprof |
| FUZZY_MAX | 4 | page_shift | 12 |
| STR_LEN | 0 | pd | (-1),3,6-8 |
| STR_LEN | 0 | pd | (-1),3,6-8 |
| STR_LEN | 1 | mr->ibmr.pd | (-1),3,6-8 |
| BIT_INFO | 2 | ndescs | 0x0,0x7ffffffc |
| BIT_INFO | 4 | page_shift | 0x0,0xc |
| HARD_MAX | 3 | desc_size | 16 |
| HARD_MAX | 4 | page_shift | 12 |
| HARD_MAX | 5 | access_mode | 2 |
| 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 | 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 | |
| UNITS | 3 | desc_size | unit_byte |
| HALF_LOCKED2 | &cls_conn->ep_mutex | ||
| HALF_LOCKED2 | &iser_conn->state_mutex | ||
| HALF_LOCKED2 | global &rx_queue_mutex |