Open Menu /

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/infiniband/hw/mlx5/mr.c mlx5_alloc_integrity_descs() -> destroy_mkey()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->mdev->cmd.alloc_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->mdev->cmd.pool->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dev->mdev->cmd.pool->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->mdev->cmd.state 1
PARAM_VALUE 0 dev->mdev->cmd.token 1-255
PARAM_VALUE 0 dev->mdev->cmd.token_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->mdev->cmd.vars.throttle_sem.first_waiter->list.next 5349227543279349760
PARAM_VALUE 0 dev->mdev->cmd.vars.throttle_sem.first_waiter->list.prev 5349227543279349760
PARAM_VALUE 0 dev->mdev->cmd.vars.throttle_sem.first_waiter->list.prev->next 5349227543279349760
PARAM_VALUE 0 dev->mdev->cmd.vars.throttle_sem.first_waiter->up 0-1
PARAM_VALUE 0 dev->mdev->cmd.vars.throttle_sem.last_holder 0
PARAM_VALUE 0 dev->mdev->cmd.vars.throttle_sem.lock.dep_map->name 0-255
PARAM_VALUE 0 dev->mdev->cmd.vars.throttle_sem.lock.owner (-1)
PARAM_VALUE 0 dev->mdev->cmd.vars.throttle_sem.lock.owner_cpu u32max
PARAM_VALUE 0 dev->mdev->cmd.vars.throttle_sem.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 dev->mdev->cmd.vars.unprivileged_sem.first_waiter->list.next 5349227543279349760
PARAM_VALUE 0 dev->mdev->cmd.vars.unprivileged_sem.first_waiter->list.prev 5349227543279349760
PARAM_VALUE 0 dev->mdev->cmd.vars.unprivileged_sem.first_waiter->list.prev->next 5349227543279349760
PARAM_VALUE 0 dev->mdev->cmd.vars.unprivileged_sem.first_waiter->up 0-1
PARAM_VALUE 0 dev->mdev->cmd.vars.unprivileged_sem.last_holder 0
PARAM_VALUE 0 dev->mdev->cmd.vars.unprivileged_sem.lock.dep_map->name 0-255
PARAM_VALUE 0 dev->mdev->cmd.vars.unprivileged_sem.lock.owner (-1)
PARAM_VALUE 0 dev->mdev->cmd.vars.unprivileged_sem.lock.owner_cpu u32max
PARAM_VALUE 0 dev->mdev->cmd.vars.unprivileged_sem.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 dev->mdev->pdev->error_state 1
PARAM_VALUE 0 dev->sig_mrs.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 mr 4096-ptr_max
PARAM_VALUE 1 mr->access_mode 2
PARAM_VALUE 1 mr->desc_map 0-18446744073709551614
PARAM_VALUE 1 mr->desc_size 16
PARAM_VALUE 1 mr->descs 0,2048-ptr_max
PARAM_VALUE 1 mr->descs_alloc 16,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->max_descs 4
PARAM_VALUE 1 mr->mmkey.type 1
PARAM_VALUE 1 mr->mmkey.wait.head.next 4096-ptr_max
PARAM_VALUE 1 mr->mmkey.wait.head.next->next 4096-ptr_max
PARAM_VALUE 1 mr->mmkey.wait.head.prev 4096-ptr_max
PARAM_VALUE 1 mr->mmkey.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 1 mr->mmkey.wait.head.prev->prev 4096-ptr_max
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
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
DATA_SOURCE 0 dev r to_mdev
DATA_SOURCE 1 mr $1
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
NOCHECK_CALL
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
HALF_LOCKED2 &cls_conn->ep_mutex
HALF_LOCKED2 &iser_conn->state_mutex
HALF_LOCKED2 global &rx_queue_mutex

drivers/infiniband/hw/mlx5/mr.c mlx5r_handle_mkey_cleanup() -> destroy_mkey()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 mr 4096-ptr_max
PARAM_VALUE 1 mr->umem 4096-ptr_max
PARAM_VALUE 1 mr->umem->is_dmabuf 1
DATA_SOURCE 0 dev r to_mdev
DATA_SOURCE 1 mr $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->data_direct_lock