Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/mlx5/main.c mlx5_ib_alloc_transport_domain() -> mlx5_cmd_dealloc_transport_domain()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->caps.hca 4096-ptr_max
PARAM_VALUE 0 dev->cmd.alloc_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->cmd.pool->dev->dma_io_tlb_mem->dyn_alloc.flags 0-4294967295
PARAM_VALUE 0 dev->cmd.pool->dev->dma_io_tlb_mem->dyn_alloc.is_hard 0-1
PARAM_VALUE 0 dev->cmd.pool->dev->dma_io_tlb_mem->dyn_alloc.is_lazy 0-1
PARAM_VALUE 0 dev->cmd.pool->dev->dma_io_tlb_mem->dyn_alloc.is_queued 0-1
PARAM_VALUE 0 dev->cmd.pool->dev->dma_io_tlb_mem->dyn_alloc.is_soft 0-1
PARAM_VALUE 0 dev->cmd.pool->dev->iommu->attach_deferred 0-1
PARAM_VALUE 0 dev->cmd.pool->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->cmd.state 1
PARAM_VALUE 0 dev->cmd.token 1-255
PARAM_VALUE 0 dev->cmd.token_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->cmd.vars.throttle_sem.first_waiter->list.next 5349227543279349760
PARAM_VALUE 0 dev->cmd.vars.throttle_sem.first_waiter->list.prev 5349227543279349760
PARAM_VALUE 0 dev->cmd.vars.throttle_sem.first_waiter->list.prev->next 5349227543279349760
PARAM_VALUE 0 dev->cmd.vars.throttle_sem.first_waiter->up 0-1
PARAM_VALUE 0 dev->cmd.vars.throttle_sem.last_holder 0
PARAM_VALUE 0 dev->cmd.vars.throttle_sem.lock.dep_map->name 0-255
PARAM_VALUE 0 dev->cmd.vars.unprivileged_sem.first_waiter->list.next 5349227543279349760
PARAM_VALUE 0 dev->cmd.vars.unprivileged_sem.first_waiter->list.prev 5349227543279349760
PARAM_VALUE 0 dev->cmd.vars.unprivileged_sem.first_waiter->list.prev->next 5349227543279349760
PARAM_VALUE 0 dev->cmd.vars.unprivileged_sem.first_waiter->up 0-1
PARAM_VALUE 0 dev->cmd.vars.unprivileged_sem.last_holder 0
PARAM_VALUE 0 dev->cmd.vars.unprivileged_sem.lock.dep_map->name 0-255
PARAM_VALUE 0 dev->pdev 4096-ptr_max
PARAM_VALUE 0 dev->pdev->error_state 1
PARAM_VALUE 0 dev->priv.eq_table->ctrl_irq 0-s64max
PARAM_VALUE 1 tdn 0-16777215
DATA_SOURCE 2 uid $2
NOCHECK_CALL
UNITS 0 dev unit_byte
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_transport_domain() -> mlx5_cmd_dealloc_transport_domain()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->caps.hca 4096-ptr_max
PARAM_VALUE 0 dev->cmd.vars.throttle_sem.first_waiter->up 0-1
PARAM_VALUE 0 dev->cmd.vars.unprivileged_sem.first_waiter->up 0-1
DATA_SOURCE 1 tdn $1
DATA_SOURCE 2 uid $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte
HALF_LOCKED2 &file->hw_destroy_rwsem
HALF_LOCKED2 &file->ucontext_lock
HALF_LOCKED2 &ufile->hw_destroy_rwsem
TYPE_LOCK (struct ib_uverbs_file)->hw_destroy_rwsem