Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/mlx5/main.c mlx5_ib_alloc_ucontext() -> deallocate_uars()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->ib_active 1
PARAM_VALUE 0 dev->mdev 4096-ptr_max
PARAM_VALUE 0 dev->mdev->caps.hca 4096-ptr_max
PARAM_VALUE 0 dev->mdev->cmd.vars.throttle_sem.first_waiter->up 0-1
PARAM_VALUE 0 dev->mdev->cmd.vars.unprivileged_sem.first_waiter->up 0-1
PARAM_VALUE 0 dev->mdev->pdev->bus->self->link_bwctrl->cdev 0,4096-s64max
PARAM_VALUE 0 dev->mdev->priv.eq_table->ctrl_irq 0-s64max
PARAM_VALUE 1 context 4096-ptr_max
PARAM_VALUE 1 context->bfregi.count 4096-ptr_max
PARAM_VALUE 1 context->bfregi.lib_uar_dyn 1
PARAM_VALUE 1 context->bfregi.lock.dep_map->name 0-255
PARAM_VALUE 1 context->bfregi.lock.first_waiter 0
PARAM_VALUE 1 context->bfregi.lock.magic 4096-ptr_max
PARAM_VALUE 1 context->bfregi.lock.osq.tail.counter 0
PARAM_VALUE 1 context->bfregi.lock.owner.counter 0
PARAM_VALUE 1 context->bfregi.num_dyn_bfregs 1024
PARAM_VALUE 1 context->bfregi.num_static_sys_pages 0-256
PARAM_VALUE 1 context->bfregi.num_sys_pages 512-768
PARAM_VALUE 1 context->bfregi.sys_pages 4096-ptr_max
PARAM_VALUE 1 context->bfregi.total_num_bfregs 1024,1026-1536
PARAM_VALUE 1 context->cqe_version 0-15
PARAM_VALUE 1 context->db_page_list.next 4096-ptr_max
PARAM_VALUE 1 context->db_page_list.next->next 4096-ptr_max
PARAM_VALUE 1 context->db_page_list.prev 4096-ptr_max
PARAM_VALUE 1 context->db_page_list.prev->next 4096-ptr_max
PARAM_VALUE 1 context->db_page_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 context->db_page_mutex.dep_map->name 0-255
PARAM_VALUE 1 context->db_page_mutex.first_waiter 0
PARAM_VALUE 1 context->db_page_mutex.magic 4096-ptr_max
PARAM_VALUE 1 context->db_page_mutex.osq.tail.counter 0
PARAM_VALUE 1 context->db_page_mutex.owner.counter 0
PARAM_VALUE 1 context->tdn 0-16777215
PARAM_VALUE 1 *context->bfregi->sys_pages 2147483648
CAPPED_DATA 1 context->bfregi.num_static_sys_pages 1
CAPPED_DATA 1 context->bfregi.num_sys_pages 1
CAPPED_DATA 1 context->cqe_version 1
DATA_SOURCE 0 dev r to_mdev
DATA_SOURCE 1 context r to_mucontext
NOCHECK_CALL
USER_DATA 1 context->cqe_version 0-15[c]
LOCK2 &file->hw_destroy_rwsem
LOCK2 &file->ucontext_lock
TYPE_LOCK (struct ib_uverbs_file)->hw_destroy_rwsem
TYPE_LOCK (struct ib_uverbs_file)->ucontext_lock

drivers/infiniband/hw/mlx5/main.c mlx5_ib_dealloc_ucontext() -> deallocate_uars()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->mdev 4096-ptr_max
PARAM_VALUE 0 dev->mdev->cmd.vars.throttle_sem.first_waiter->up 0-1
PARAM_VALUE 0 dev->mdev->cmd.vars.unprivileged_sem.first_waiter->up 0-1
PARAM_VALUE 0 dev->mdev->pdev->bus->self->link_bwctrl->cdev 0,4096-s64max
PARAM_VALUE 1 context 4096-ptr_max
DATA_SOURCE 0 dev r to_mdev
DATA_SOURCE 1 context r to_mucontext
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ufile->hw_destroy_rwsem
TYPE_LOCK (struct ib_uverbs_file)->hw_destroy_rwsem