ocrdma_mbx_destroy_cq identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/infiniband/hw/ocrdma/ocrdma_hw.h, line 125 (as a prototype)

Defined in 1 files as a function:

drivers/infiniband/hw/ocrdma/ocrdma_hw.c, line 1883 (as a function)

Referenced in 1 files:

drivers/infiniband/hw/ocrdma/ocrdma_verbs.c
- line 1009
- line 1067

Smatch caller information:

drivers/infiniband/hw/ocrdma/ocrdma_verbs.c ocrdma_create_cq() -> ocrdma_mbx_destroy_cq()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->asic_id	0
PARAM_VALUE	0	dev->dev_lock.dep_map->name	0-255
PARAM_VALUE	0	dev->dev_lock.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	dev->dev_lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	dev->dev_lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	dev->dev_lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	dev->dev_lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	dev->dev_lock.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	dev->dev_lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	dev->dev_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	dev->mq.sq.head	0-127
PARAM_VALUE	0	dev->mqe_ctx.cmd_done	0
PARAM_VALUE	0	dev->mqe_ctx.lock.dep_map->name	0-255
PARAM_VALUE	0	dev->mqe_ctx.lock.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	dev->mqe_ctx.lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	dev->mqe_ctx.lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	dev->mqe_ctx.lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	dev->mqe_ctx.lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	dev->mqe_ctx.lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	dev->mqe_ctx.tag	0-u16max
PARAM_VALUE	0	dev->nic_info.pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	dev->nic_info.pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	dev->nic_info.pdev->dev.cma_area->alloc_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	dev->nic_info.pdev->dev.cma_area->nranges	s32min-s32max
PARAM_VALUE	0	dev->nic_info.pdev->dev.dma_io_tlb_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	dev->nic_info.pdev->dev.dma_io_tlb_pools.next	4096-ptr_max
PARAM_VALUE	0	dev->nic_info.pdev->dev.dma_io_tlb_pools.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->nic_info.pdev->dev.dma_io_tlb_pools.next->prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->nic_info.pdev->dev.dma_mem->spinlock.rlock.dep_map->name	0-255
PARAM_VALUE	0	dev->nic_info.pdev->dev.dma_uses_io_tlb	1
PARAM_VALUE	0	dev->nic_info.pdev->dev.iommu->attach_deferred	0-1
PARAM_VALUE	1	cq	4096-ptr_max
PARAM_VALUE	1	cq->cqe_cnt	0-262144
PARAM_VALUE	1	cq->len	0-1048576
PARAM_VALUE	1	cq->max_hw_cqe	0-u16max
PARAM_VALUE	1	cq->phase_change	1
PARAM_VALUE	1	cq->rq_head.next	4096-ptr_max
PARAM_VALUE	1	cq->rq_head.next->next	4096-ptr_max
PARAM_VALUE	1	cq->rq_head.prev	4096-ptr_max
PARAM_VALUE	1	cq->rq_head.prev->next	4096-ptr_max
PARAM_VALUE	1	cq->rq_head.prev->prev	4096-ptr_max
PARAM_VALUE	1	cq->sq_head.next	4096-ptr_max
PARAM_VALUE	1	cq->sq_head.next->next	4096-ptr_max
PARAM_VALUE	1	cq->sq_head.prev	4096-ptr_max
PARAM_VALUE	1	cq->sq_head.prev->next	4096-ptr_max
PARAM_VALUE	1	cq->sq_head.prev->prev	4096-ptr_max
PARAM_VALUE	1	cq->ucontext	4096-ptr_max
PARAM_VALUE	1	cq->ucontext->ah_tbl.len	8192
PARAM_VALUE	1	cq->ucontext->cntxt_pd	4096-ptr_max
PARAM_VALUE	1	cq->ucontext->mm_head.prev	4096-ptr_max
PARAM_VALUE	1	cq->ucontext->mm_list_lock.first_waiter	0,4096-ptr_max
PARAM_VALUE	1	cq->ucontext->mm_list_lock.osq.tail.counter	0-s32max
PARAM_VALUE	1	cq->ucontext->pd_in_use	0-1
PARAM_VALUE	1	cq->va	1-ptr_max
PARAM_VALUE	1	cq->va->cmn.qpn	0
PARAM_VALUE	1	cq->va->cmn.word_0	0
PARAM_VALUE	1	cq->va->cmn.word_1	0
PARAM_VALUE	1	cq->va->flags_status_srcqpn	0
PARAM_VALUE	1	cq->va->rq.buftag_qpn	0
PARAM_VALUE	1	cq->va->rq.lkey_immdt	0
PARAM_VALUE	1	cq->va->rq.rxlen	0
PARAM_VALUE	1	cq->va->ud.buftag_qpn	0
PARAM_VALUE	1	cq->va->ud.lkey_immdt	0
PARAM_VALUE	1	cq->va->ud.rxlen_pkey	0
PARAM_VALUE	1	cq->va->wq.bytes_xfered	0
PARAM_VALUE	1	cq->va->wq.qpn	0
PARAM_VALUE	1	cq->va->wq.wqeidx	0
CAPPED_DATA	0	dev->eq_cnt	1
CAPPED_DATA	1	cq->va	1
DATA_SOURCE	0	dev	r get_ocrdma_dev
DATA_SOURCE	1	cq	r get_ocrdma_cq
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	dev->asic_id	0

drivers/infiniband/hw/ocrdma/ocrdma_verbs.c ocrdma_destroy_cq() -> ocrdma_mbx_destroy_cq()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->cq_tbl	4096-ptr_max
PARAM_VALUE	0	dev->eq_tbl	4096-ptr_max
PARAM_VALUE	1	cq	4096-ptr_max
PARAM_VALUE	1	cq->cq_lock.rlock.dep_map->name	0-255
CAPPED_DATA	0	dev->eq_cnt	1
DATA_SOURCE	0	dev	r get_ocrdma_dev
DATA_SOURCE	1	cq	r get_ocrdma_cq
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL