destroy_srq_split identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/infiniband/hw/mlx5/srq_cmd.c, line 615 (as a function)

Referenced in 1 files:

drivers/infiniband/hw/mlx5/srq_cmd.c
- line 660
- line 676

Smatch caller information:

drivers/infiniband/hw/mlx5/srq_cmd.c mlx5_cmd_create_srq() -> destroy_srq_split()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->devr.c0	1-u64max
PARAM_VALUE	0	dev->devr.xrcdn0	0-16777215
PARAM_VALUE	0	dev->mdev	4096-ptr_max
PARAM_VALUE	0	dev->mdev->caps.hca	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->mdev->priv.alloc_mutex.dep_map->name	0-255
PARAM_VALUE	0	dev->mdev->priv.alloc_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	dev->mdev->priv.alloc_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	dev->mdev->priv.alloc_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	dev->mdev->priv.alloc_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	dev->mdev->priv.alloc_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	dev->mdev->priv.alloc_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	dev->mdev->priv.alloc_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	dev->mdev->priv.pgdir_mutex.dep_map->name	0-255
PARAM_VALUE	0	dev->mdev->priv.pgdir_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	dev->mdev->priv.pgdir_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	dev->mdev->priv.pgdir_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	dev->mdev->priv.pgdir_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	dev->mdev->priv.pgdir_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	dev->mdev->priv.pgdir_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter	0-s32max
PARAM_VALUE	0	dev->mdev->priv.pgdir_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	dev->srq_table.array.xa_lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	srq	4096-ptr_max
PARAM_VALUE	1	srq->common.free.done	0
PARAM_VALUE	1	srq->common.free.wait.lock.magic	3735899821
PARAM_VALUE	1	srq->common.free.wait.lock.owner	(-1)
PARAM_VALUE	1	srq->common.free.wait.lock.owner_cpu	u32max
PARAM_VALUE	1	srq->common.free.wait.task_list.next	4096-ptr_max
PARAM_VALUE	1	srq->common.free.wait.task_list.next->next	4096-ptr_max
PARAM_VALUE	1	srq->common.free.wait.task_list.prev	4096-ptr_max
PARAM_VALUE	1	srq->common.free.wait.task_list.prev->next	4096-ptr_max
PARAM_VALUE	1	srq->common.free.wait.task_list.prev->prev	4096-ptr_max
PARAM_VALUE	1	srq->common.refcount.refs.counter	1
PARAM_VALUE	1	srq->common.res	3-5
PARAM_VALUE	1	srq->max_gs	0-4095
PARAM_VALUE	1	srq->srqn	0-16777215
PARAM_VALUE	1	srq->wqe_shift	0-31
CAPPED_DATA	1	srq	1
DATA_SOURCE	0	dev	$0
DATA_SOURCE	1	srq	$1
FUZZY_MAX	1	srq->common.res	5
NOSPEC	1	srq->max_gs
HARD_MAX	1	srq->common.res	5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	1	srq->max_gs	0-4095[c]
NO_OVERFLOW_SIMPLE	1	srq->max
HALF_LOCKED2		&devr->srq_lock
HALF_LOCKED2		global &device_list_mutex

drivers/infiniband/hw/mlx5/srq_cmd.c mlx5_cmd_destroy_srq() -> destroy_srq_split()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->devr.xrcdn0	0-16777215
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->srq_table.array.xa_lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	srq	4096-ptr_max
CAPPED_DATA	1	srq	1
DATA_SOURCE	0	dev	$0
DATA_SOURCE	1	srq	$1
NOSPEC	1	srq->max_gs
RX_PATH
TASK_NOT_RUNNING
USER_DATA	1	srq->max_gs	0-4095[c]
NO_OVERFLOW_SIMPLE	1	srq->max