destroy_qp_common identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/infiniband/hw/mlx5/qp.c mlx5_ib_create_qp() -> destroy_qp_common()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->devr.s1	1-u64max
PARAM_VALUE	0	dev->devr.xrcdn0	0-16777215
PARAM_VALUE	0	dev->devr.xrcdn1	0-16777215
PARAM_VALUE	0	dev->ib_dev.dma_device->iommu->attach_deferred	0-1
PARAM_VALUE	0	dev->ib_dev.dma_device->iommu->pci_32bit_workaround	0-1
PARAM_VALUE	0	dev->lb.enabled	1
PARAM_VALUE	0	dev->lb.mutex.dep_map->name	0-255
PARAM_VALUE	0	dev->lb.mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	dev->lb.mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	dev->lb.mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	dev->lb.mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	dev->lb.mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	dev->lb.mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	dev->lb.mutex.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	dev->lb.mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	dev->lb.mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	dev->mdev->cmd.pool->dev->iommu->attach_deferred	0-1
PARAM_VALUE	0	dev->mdev->cmd.pool->dev->iommu->fault_param->queue->wq->first_flusher->done.done	0-4294967295
PARAM_VALUE	0	dev->mdev->cmd.pool->dev->iommu->fault_param->queue->wq->flush_color	s32min-s32max
PARAM_VALUE	0	dev->mdev->cmd.pool->dev->iommu->fault_param->queue->wq->flusher_queue.prev->next	2906673126597898240
PARAM_VALUE	0	dev->mdev->cmd.pool->dev->iommu->fault_param->queue->wq->nr_pwqs_to_flush.counter	s32min-s32max
PARAM_VALUE	0	dev->mdev->cmd.pool->dev->iommu->fault_param->queue->wq->work_color	s32min-s32max
PARAM_VALUE	0	dev->mdev->cmd.pool->dev->iommu->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	dev->mdev->cmd.pool->dev->iommu->lock.first_waiter->list.prev->prev	0,5159360019465732096
PARAM_VALUE	0	dev->mdev->cmd.pool->dev->iommu->lock.first_waiter->magic	5159360019465732096
PARAM_VALUE	0	dev->mdev->cmd.pool->dev->iommu->lock.first_waiter->task->blocked_on	(-1)-0
PARAM_VALUE	0	dev->mdev->cmd.pool->dev->iommu->lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	dev->mdev->cmd.pool->dev->iommu->lock.osq.tail.counter	s32min-s32max
PARAM_VALUE	0	dev->mdev->cmd.pool->dev->iommu->priv->domain->dirty_tracking	0
PARAM_VALUE	0	dev->mdev->cmd.pool->dev->iommu->priv->domain->pd_mode	0-2
PARAM_VALUE	0	dev->mdev->cmd.pool->dev->iommu->priv->domain->pscid	(-4095)-s32max
PARAM_VALUE	0	dev->mdev->cmd.pool->dev->iommu->priv->domain->s1_cfg.addr_width	48,57
PARAM_VALUE	0	dev->mdev->cmd.pool->dev->iommu->priv->domain_attached	1
PARAM_VALUE	0	dev->mdev->cmd.pool->dev->iommu->priv->gcr3_info.domid	0-u16max
PARAM_VALUE	0	dev->mdev->cmd.pool->dev->iommu->priv->gcr3_info.gcr3_tbl	0,s64max
PARAM_VALUE	0	dev->mdev->cmd.pool->dev->iommu->priv->gcr3_info.glx	0-3
PARAM_VALUE	0	dev->mdev->cmd.pool->dev->iommu->priv->ppr	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->bus->self->link_bwctrl->cdev	(-22),(-19),(-12),0-s64max
PARAM_VALUE	0	dev->mdev->priv.alloc_mutex->first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	dev->mdev->priv.alloc_mutex.first_waiter->list.prev->next	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.dbg.qp_debugfs->d_children.first	4096-ptr_max
PARAM_VALUE	0	dev->mdev->priv.dbg.qp_debugfs->d_sb	4096-ptr_max
PARAM_VALUE	0	dev->mdev->priv.eq_table->ctrl_irq	0-s64max
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	s32min-s32max
PARAM_VALUE	0	dev->mdev->priv.pgdir_mutex.first_waiter->task->blocked_on	0
PARAM_VALUE	0	dev->mdev->priv.pgdir_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	dev->qp_list.prev	4096-ptr_max
PARAM_VALUE	0	dev->qp_list.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->qp_list.prev->next->next	4096-ptr_max
PARAM_VALUE	0	dev->reset_flow_resource_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	*dev->mdev->priv.dbg.qp_debugfs->d_children.first->pprev	1-u64max
PARAM_VALUE	1	qp	4096-ptr_max
PARAM_VALUE	1	qp->bf.bfreg	4096-ptr_max
PARAM_VALUE	1	qp->bfregn	s32min
PARAM_VALUE	1	qp->buf.frags	1-u64max
PARAM_VALUE	1	qp->buf.frags->buf	0
PARAM_VALUE	1	qp->buf.frags->frag_page	0
PARAM_VALUE	1	qp->buf.frags->map	0
PARAM_VALUE	1	qp->buf.npages	0-524288
PARAM_VALUE	1	qp->buf.page_shift	12
PARAM_VALUE	1	qp->cq_recv_list.next	4096-ptr_max
PARAM_VALUE	1	qp->cq_send_list.next	4096-ptr_max
PARAM_VALUE	1	qp->db->db	0-u32max
PARAM_VALUE	1	qp->db.db	4096-ptr_max
PARAM_VALUE	1	qp->db.index	0-64
PARAM_VALUE	1	qp->db.u.user_page	4096-ptr_max
PARAM_VALUE	1	qp->db.u.user_page->desc.type	0-1
PARAM_VALUE	1	qp->db.u.user_page->refcnt	s32min-s32max
PARAM_VALUE	1	qp->dct.in	4096-ptr_max
PARAM_VALUE	1	qp->gsi.cq	4096-ptr_max
PARAM_VALUE	1	qp->gsi.num_qps	0-u16max
PARAM_VALUE	1	qp->gsi.outstanding_wrs	16,4096-ptr_max
PARAM_VALUE	1	qp->gsi.port_num	0-255
PARAM_VALUE	1	qp->gsi.rx_qp	4096-ptr_max
PARAM_VALUE	1	qp->gsi.tx_qps	16,4096-ptr_max
PARAM_VALUE	1	qp->ibqp.res.no_track	1
PARAM_VALUE	1	qp->is_rss	1
PARAM_VALUE	1	qp->max_inline_data	(-4)-65553
PARAM_VALUE	1	qp->mutex.dep_map->name	0-255
PARAM_VALUE	1	qp->mutex.first_waiter	0
PARAM_VALUE	1	qp->mutex.magic	4096-ptr_max
PARAM_VALUE	1	qp->mutex.osq.tail.counter	0
PARAM_VALUE	1	qp->mutex.owner.counter	0
PARAM_VALUE	1	qp->qps_list.next	4096-ptr_max
PARAM_VALUE	1	qp->raw_packet_qp.rq.base.container_mibqp	4096-ptr_max
PARAM_VALUE	1	qp->raw_packet_qp.rq.base.container_mibqp->bfregn	s32min
PARAM_VALUE	1	qp->raw_packet_qp.rq.base.container_mibqp->counter_pending	1
PARAM_VALUE	1	qp->raw_packet_qp.rq.base.container_mibqp->db.u.user_page	4096-ptr_max
PARAM_VALUE	1	qp->raw_packet_qp.rq.base.container_mibqp->ibqp.res.no_track	1
PARAM_VALUE	1	qp->raw_packet_qp.rq.base.container_mibqp->is_ooo_rq	1
PARAM_VALUE	1	qp->raw_packet_qp.rq.base.container_mibqp->is_rss	1
PARAM_VALUE	1	qp->raw_packet_qp.rq.base.container_mibqp->max_inline_data	(-4)-65553
PARAM_VALUE	1	qp->raw_packet_qp.rq.base.container_mibqp->next_fence	0,32
PARAM_VALUE	1	qp->raw_packet_qp.rq.base.container_mibqp->raw_packet_qp.rq.base.ubuffer.umem	0,4096-u64max
PARAM_VALUE	1	qp->raw_packet_qp.rq.base.container_mibqp->raw_packet_qp.rq.doorbell	4096-ptr_max
PARAM_VALUE	1	qp->raw_packet_qp.rq.base.container_mibqp->raw_packet_qp.rq.rq	4096-ptr_max
PARAM_VALUE	1	qp->raw_packet_qp.rq.base.container_mibqp->raw_packet_qp.rq.state	0-15
PARAM_VALUE	1	qp->raw_packet_qp.rq.base.container_mibqp->raw_packet_qp.rq.tirn	0-16777215
PARAM_VALUE	1	qp->raw_packet_qp.rq.base.container_mibqp->raw_packet_qp.rq.ubuffer.umem	0,4096-u64max
PARAM_VALUE	1	qp->raw_packet_qp.rq.base.container_mibqp->raw_packet_qp.sq.base.ubuffer.umem	0,4096-u64max
PARAM_VALUE	1	qp->raw_packet_qp.rq.base.container_mibqp->raw_packet_qp.sq.doorbell	4096-ptr_max
PARAM_VALUE	1	qp->raw_packet_qp.rq.base.container_mibqp->raw_packet_qp.sq.sq	4096-ptr_max
PARAM_VALUE	1	qp->raw_packet_qp.rq.base.container_mibqp->raw_packet_qp.sq.state	0-15
PARAM_VALUE	1	qp->raw_packet_qp.rq.base.container_mibqp->raw_packet_qp.sq.tisn	0-16777215
PARAM_VALUE	1	qp->raw_packet_qp.rq.base.container_mibqp->raw_packet_qp.sq.ubuffer.buf_size	s32min-(-64),0,64-s32max
PARAM_VALUE	1	qp->raw_packet_qp.rq.base.container_mibqp->raw_packet_qp.sq.ubuffer.umem	0,4096-u64max
PARAM_VALUE	1	qp->raw_packet_qp.rq.base.container_mibqp->rq.wqe_cnt	s32min-(-1),1-s32max
PARAM_VALUE	1	qp->raw_packet_qp.rq.base.container_mibqp->rss_qp.tirn	0-16777215
PARAM_VALUE	1	qp->raw_packet_qp.rq.base.container_mibqp->sq_signal_bits	8
PARAM_VALUE	1	qp->raw_packet_qp.rq.base.container_mibqp->trans_qp.base.ubuffer.umem	0,4096-u64max
PARAM_VALUE	1	qp->raw_packet_qp.rq.base.container_mibqp->type	4096-4097
PARAM_VALUE	1	qp->raw_packet_qp.rq.base.mqp.common.free.done	0
PARAM_VALUE	1	qp->raw_packet_qp.rq.base.mqp.common.free.wait.lock.magic	3735899821
PARAM_VALUE	1	qp->raw_packet_qp.rq.base.mqp.common.free.wait.lock.owner	(-1)
PARAM_VALUE	1	qp->raw_packet_qp.rq.base.mqp.common.free.wait.lock.owner_cpu	u32max
PARAM_VALUE	1	qp->raw_packet_qp.rq.base.mqp.common.free.wait.task_list.next	4096-ptr_max
PARAM_VALUE	1	qp->raw_packet_qp.rq.base.mqp.common.free.wait.task_list.next->next	4096-ptr_max
PARAM_VALUE	1	qp->raw_packet_qp.rq.base.mqp.common.free.wait.task_list.prev	4096-ptr_max
PARAM_VALUE	1	qp->raw_packet_qp.rq.base.mqp.common.free.wait.task_list.prev->next	4096-ptr_max
PARAM_VALUE	1	qp->raw_packet_qp.rq.base.mqp.common.free.wait.task_list.prev->prev	4096-ptr_max
PARAM_VALUE	1	qp->raw_packet_qp.rq.base.mqp.common.refcount.refs.counter	1
PARAM_VALUE	1	qp->raw_packet_qp.rq.base.mqp.common.res	1
PARAM_VALUE	1	qp->raw_packet_qp.rq.base.mqp.qpn	0-16777215
PARAM_VALUE	1	qp->raw_packet_qp.rq.base.ubuffer.umem	0,4096-u64max
PARAM_VALUE	1	qp->raw_packet_qp.rq.doorbell	4096-ptr_max
PARAM_VALUE	1	qp->raw_packet_qp.rq.rq	4096-ptr_max
PARAM_VALUE	1	qp->raw_packet_qp.rq.tirn	0-16777215
PARAM_VALUE	1	qp->raw_packet_qp.sq.base.container_mibqp	4096-ptr_max
PARAM_VALUE	1	qp->raw_packet_qp.sq.base.container_mibqp->bfregn	s32min
PARAM_VALUE	1	qp->raw_packet_qp.sq.base.container_mibqp->counter_pending	1
PARAM_VALUE	1	qp->raw_packet_qp.sq.base.container_mibqp->db.u.user_page	4096-ptr_max
PARAM_VALUE	1	qp->raw_packet_qp.sq.base.container_mibqp->ibqp.res.no_track	1
PARAM_VALUE	1	qp->raw_packet_qp.sq.base.container_mibqp->is_ooo_rq	1
PARAM_VALUE	1	qp->raw_packet_qp.sq.base.container_mibqp->is_rss	1
PARAM_VALUE	1	qp->raw_packet_qp.sq.base.container_mibqp->max_inline_data	(-4)-65553
PARAM_VALUE	1	qp->raw_packet_qp.sq.base.container_mibqp->next_fence	0,32
PARAM_VALUE	1	qp->raw_packet_qp.sq.base.container_mibqp->raw_packet_qp.rq.base.ubuffer.umem	0,4096-u64max
PARAM_VALUE	1	qp->raw_packet_qp.sq.base.container_mibqp->raw_packet_qp.rq.doorbell	4096-ptr_max
PARAM_VALUE	1	qp->raw_packet_qp.sq.base.container_mibqp->raw_packet_qp.rq.rq	4096-ptr_max
PARAM_VALUE	1	qp->raw_packet_qp.sq.base.container_mibqp->raw_packet_qp.rq.state	0-15
PARAM_VALUE	1	qp->raw_packet_qp.sq.base.container_mibqp->raw_packet_qp.rq.tirn	0-16777215
PARAM_VALUE	1	qp->raw_packet_qp.sq.base.container_mibqp->raw_packet_qp.rq.ubuffer.umem	0,4096-u64max
PARAM_VALUE	1	qp->raw_packet_qp.sq.base.container_mibqp->raw_packet_qp.sq.base.mqp.common.res	2
PARAM_VALUE	1	qp->raw_packet_qp.sq.base.container_mibqp->raw_packet_qp.sq.base.mqp.qpn	0-16777215
PARAM_VALUE	1	qp->raw_packet_qp.sq.base.container_mibqp->raw_packet_qp.sq.base.ubuffer.umem	0,4096-u64max
PARAM_VALUE	1	qp->raw_packet_qp.sq.base.container_mibqp->raw_packet_qp.sq.doorbell	4096-ptr_max
PARAM_VALUE	1	qp->raw_packet_qp.sq.base.container_mibqp->raw_packet_qp.sq.sq	4096-ptr_max
PARAM_VALUE	1	qp->raw_packet_qp.sq.base.container_mibqp->raw_packet_qp.sq.state	0-15
PARAM_VALUE	1	qp->raw_packet_qp.sq.base.container_mibqp->raw_packet_qp.sq.tisn	0-16777215
PARAM_VALUE	1	qp->raw_packet_qp.sq.base.container_mibqp->raw_packet_qp.sq.ubuffer.buf_size	s32min-(-64),0,64-s32max
PARAM_VALUE	1	qp->raw_packet_qp.sq.base.container_mibqp->raw_packet_qp.sq.ubuffer.umem	4096-ptr_max
PARAM_VALUE	1	qp->raw_packet_qp.sq.base.container_mibqp->rss_qp.tirn	0-16777215
PARAM_VALUE	1	qp->raw_packet_qp.sq.base.container_mibqp->sq.wqe_cnt	s32min-(-1),1-s32max
PARAM_VALUE	1	qp->raw_packet_qp.sq.base.container_mibqp->sq_signal_bits	8
PARAM_VALUE	1	qp->raw_packet_qp.sq.base.container_mibqp->trans_qp.base.ubuffer.umem	0,4096-u64max
PARAM_VALUE	1	qp->raw_packet_qp.sq.base.container_mibqp->type	4096-4097
PARAM_VALUE	1	qp->raw_packet_qp.sq.base.mqp.common.free.done	0
PARAM_VALUE	1	qp->raw_packet_qp.sq.base.mqp.common.free.wait.lock.magic	3735899821
PARAM_VALUE	1	qp->raw_packet_qp.sq.base.mqp.common.free.wait.lock.owner	(-1)
PARAM_VALUE	1	qp->raw_packet_qp.sq.base.mqp.common.free.wait.lock.owner_cpu	u32max
PARAM_VALUE	1	qp->raw_packet_qp.sq.base.mqp.common.free.wait.task_list.next	4096-ptr_max
PARAM_VALUE	1	qp->raw_packet_qp.sq.base.mqp.common.free.wait.task_list.next->next	4096-ptr_max
PARAM_VALUE	1	qp->raw_packet_qp.sq.base.mqp.common.free.wait.task_list.prev	4096-ptr_max
PARAM_VALUE	1	qp->raw_packet_qp.sq.base.mqp.common.free.wait.task_list.prev->next	4096-ptr_max
PARAM_VALUE	1	qp->raw_packet_qp.sq.base.mqp.common.free.wait.task_list.prev->prev	4096-ptr_max
PARAM_VALUE	1	qp->raw_packet_qp.sq.base.mqp.common.refcount.refs.counter	1
PARAM_VALUE	1	qp->raw_packet_qp.sq.base.mqp.common.res	2
PARAM_VALUE	1	qp->raw_packet_qp.sq.base.mqp.event	3804943372719939584
PARAM_VALUE	1	qp->raw_packet_qp.sq.base.mqp.qpn	0-16777215
PARAM_VALUE	1	qp->raw_packet_qp.sq.doorbell	4096-ptr_max
PARAM_VALUE	1	qp->raw_packet_qp.sq.sq	4096-ptr_max
PARAM_VALUE	1	qp->raw_packet_qp.sq.tisn	0-16777215
PARAM_VALUE	1	qp->raw_packet_qp.sq.ubuffer.buf_size	s32min-(-64),0,64-s32max
PARAM_VALUE	1	qp->raw_packet_qp.sq.ubuffer.umem	0,4096-u64max
PARAM_VALUE	1	qp->rq.fbc.frags	1-u64max
PARAM_VALUE	1	qp->rq.fbc.log_sz	0-31
PARAM_VALUE	1	qp->rq.fbc.strides_offset	0
PARAM_VALUE	1	qp->rq.offset	0
PARAM_VALUE	1	qp->rq.wrid	16,4096-ptr_max
PARAM_VALUE	1	qp->rss_qp.tirn	0-16777215
PARAM_VALUE	1	qp->sq.fbc.frags	4096-ptr_max
PARAM_VALUE	1	qp->sq.fbc.log_sz	0-31
PARAM_VALUE	1	qp->sq.fbc.strides_offset	0-63
PARAM_VALUE	1	qp->sq.max_gs	(-10)-4097
PARAM_VALUE	1	qp->sq.w_list	16,4096-ptr_max
PARAM_VALUE	1	qp->sq.wqe_head	16,4096-ptr_max
PARAM_VALUE	1	qp->sq.wr_data	16,4096-ptr_max
PARAM_VALUE	1	qp->sq.wrid	16,4096-ptr_max
PARAM_VALUE	1	qp->sq_signal_bits	8
PARAM_VALUE	1	qp->state	0
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp	4096-ptr_max
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp->bf.bfreg	4096-ptr_max
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp->bfregn	s32min
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp->buf.frags	1-u64max
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp->buf.npages	0-524288
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp->buf.page_shift	12
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp->counter_pending	0-1
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp->db.db	4096-ptr_max
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp->db.index	0-64
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp->db.u.user_page	4096-ptr_max
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp->ibqp.res.no_track	1
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp->is_ooo_rq	1
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp->is_rss	1
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp->max_inline_data	(-4)-65553
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp->next_fence	0,32
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp->raw_packet_qp.rq.base.ubuffer.umem	0,4096-u64max
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp->raw_packet_qp.rq.state	0-15
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp->raw_packet_qp.rq.tirn	0-16777215
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp->raw_packet_qp.rq.ubuffer.umem	0,4096-u64max
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp->raw_packet_qp.sq.base.ubuffer.umem	0,4096-u64max
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp->raw_packet_qp.sq.state	0-15
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp->raw_packet_qp.sq.tisn	0-16777215
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp->raw_packet_qp.sq.ubuffer.buf_size	s32min-(-64),0,64-s32max
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp->raw_packet_qp.sq.ubuffer.umem	0,4096-u64max
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp->rq.fbc.frags	1-u64max
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp->rq.fbc.log_sz	0-31
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp->rq.wrid	16,4096-ptr_max
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp->rss_qp.tirn	0-16777215
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp->sq.fbc.frags	4096-ptr_max
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp->sq.fbc.log_sz	0-31
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp->sq.fbc.strides_offset	0-63
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp->sq.max_gs	(-10)-4097
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp->sq.w_list	16,4096-ptr_max
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp->sq.wqe_head	16,4096-ptr_max
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp->sq.wr_data	16,4096-ptr_max
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp->sq.wrid	16,4096-ptr_max
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp->sq_signal_bits	8
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp->trans_qp.base.container_mibqp	4096-ptr_max
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp->trans_qp.base.mqp.common.free.wait.lock.magic	3735899821
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp->trans_qp.base.mqp.common.free.wait.lock.owner	(-1)
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp->trans_qp.base.mqp.qpn	0-16777215
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp->trans_qp.base.ubuffer.umem	0,4096-u64max
PARAM_VALUE	1	qp->trans_qp.base.container_mibqp->type	10,4096-4098
PARAM_VALUE	1	qp->trans_qp.base.mqp.common.free.done	0
PARAM_VALUE	1	qp->trans_qp.base.mqp.common.free.wait.lock.magic	3735899821
PARAM_VALUE	1	qp->trans_qp.base.mqp.common.free.wait.lock.owner	(-1)
PARAM_VALUE	1	qp->trans_qp.base.mqp.common.free.wait.lock.owner_cpu	u32max
PARAM_VALUE	1	qp->trans_qp.base.mqp.common.free.wait.task_list.next	4096-ptr_max
PARAM_VALUE	1	qp->trans_qp.base.mqp.common.free.wait.task_list.next->next	4096-ptr_max
PARAM_VALUE	1	qp->trans_qp.base.mqp.common.free.wait.task_list.prev	4096-ptr_max
PARAM_VALUE	1	qp->trans_qp.base.mqp.common.free.wait.task_list.prev->next	4096-ptr_max
PARAM_VALUE	1	qp->trans_qp.base.mqp.common.free.wait.task_list.prev->prev	4096-ptr_max
PARAM_VALUE	1	qp->trans_qp.base.mqp.common.refcount.refs.counter	1
PARAM_VALUE	1	qp->trans_qp.base.mqp.common.res	0
PARAM_VALUE	1	qp->trans_qp.base.mqp.dbg	0,4096-ptr_max
PARAM_VALUE	1	qp->trans_qp.base.mqp.dbg->dev	4096-ptr_max
PARAM_VALUE	1	qp->trans_qp.base.mqp.dbg->object	4096-ptr_max
PARAM_VALUE	1	qp->trans_qp.base.mqp.dbg->type	0
PARAM_VALUE	1	qp->trans_qp.base.mqp.event	3804943372719939584
PARAM_VALUE	1	qp->trans_qp.base.mqp.qpn	0-16777215
PARAM_VALUE	1	qp->trans_qp.base.ubuffer.umem	0,4096-ptr_max
PARAM_VALUE	1	qp->type	0,2-4,8-10,4096-4097
PARAM_VALUE	2	src	4096-ptr_max
PARAM_VALUE	2	src->inlen	48-524280,18446744073709551361-u64max
PARAM_VALUE	2	src->outlen	0-524280,18446744073709551361-u64max
BUF_SIZE	2	src	0,32
BUF_SIZE	2	src	0,32
CAPPED_DATA	2	src->outlen	1
DATA_SOURCE	0	dev	r to_mdev
DATA_SOURCE	1	qp	r to_mqp
DATA_SOURCE	2	src	$2
NOSPEC	1	qp->raw_packet_qp.sq.ubuffer.buf_size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	1	qp->db.u.user_page->desc.addr	s64min-s64max
USER_DATA	1	qp->db.u.user_page->desc.fd	s32min-s32max
USER_DATA	1	qp->db.u.user_page->desc.flags	0-4294967295
USER_DATA	1	qp->db.u.user_page->desc.length	s64min-s64max
USER_DATA	1	qp->db.u.user_page->desc.optional_flags	0-4294967295
USER_DATA	1	qp->db.u.user_page->desc.type	0
USER_DATA	1	qp->raw_packet_qp.rq.base.container_mibqp->raw_packet_qp.sq.ubuffer.buf_addr	0-u64max[u]
USER_DATA	1	qp->raw_packet_qp.rq.base.container_mibqp->raw_packet_qp.sq.ubuffer.buf_size	s32min-(-64),0,64-s32max[c]
USER_DATA	1	qp->raw_packet_qp.rq.base.container_mibqp->rq.max_post	s32min-s32max[u]
USER_DATA	1	qp->raw_packet_qp.rq.base.container_mibqp->rq.wqe_cnt	s32min-(-1),1-s32max[c][u]
USER_DATA	1	qp->raw_packet_qp.rq.rq->max_post	s32min-s32max[u]
USER_DATA	1	qp->raw_packet_qp.rq.rq->wqe_cnt	s32min-s32max[c][u]
USER_DATA	1	qp->raw_packet_qp.sq.base.container_mibqp->raw_packet_qp.sq.ubuffer.buf_addr	0-u64max[u]
USER_DATA	1	qp->raw_packet_qp.sq.base.container_mibqp->raw_packet_qp.sq.ubuffer.buf_size	s32min-(-64),0,64-s32max[c]
USER_DATA	1	qp->raw_packet_qp.sq.base.container_mibqp->rq.max_post	s32min-s32max[u]
USER_DATA	1	qp->raw_packet_qp.sq.base.container_mibqp->rq.wqe_cnt	s32min-s32max[c][u]
USER_DATA	1	qp->raw_packet_qp.sq.ubuffer.buf_addr	0-u64max[u]
USER_DATA	1	qp->raw_packet_qp.sq.ubuffer.buf_size	s32min-(-64),0,64-s32max[c]
USER_DATA	1	qp->raw_packet_qp.sq.ubuffer.umem->address	0-s32max[c]
USER_DATA	1	qp->raw_packet_qp.sq.ubuffer.umem->iova	0-s32max[c]
USER_DATA	1	qp->raw_packet_qp.sq.ubuffer.umem->length	8-u64max
USER_DATA	1	qp->raw_packet_qp.sq.ubuffer.umem->sgt_append.prv->length	0-u32max[c]
USER_DATA	1	qp->raw_packet_qp.sq.ubuffer.umem->sgt_append.prv->offset	0-4095[c]
USER_DATA	1	qp->rq.max_post	s32min-s32max[u]
USER_DATA	1	qp->trans_qp.base.container_mibqp->raw_packet_qp.sq.ubuffer.buf_size	s32min-(-64),0,64-s32max[c]
USER_DATA	1	qp->trans_qp.base.container_mibqp->rq.max_post	s32min-s32max[u]
USER_DATA	1	qp->trans_qp.base.container_mibqp->rq.wqe_cnt	s32min-s32max[c][u]
USER_DATA	1	qp->trans_qp.base.ubuffer.buf_addr	0-u64max[u]
USER_DATA	1	qp->trans_qp.base.ubuffer.umem->address	0-s32max[c]
USER_DATA	1	qp->trans_qp.base.ubuffer.umem->length	0-u64max
USER_DATA	1	qp->trans_qp.base.ubuffer.umem->sgt_append.prv->length	0-u32max[c]
USER_DATA	1	qp->trans_qp.base.ubuffer.umem->sgt_append.prv->offset	0-4095[c]
USER_DATA	1	qp->trans_qp.base.ubuffer.umem->writable	0-1[c]
USER_DATA	1	qp->type	2-4,8
USER_DATA	2	src->inlen	48-524280,18446744073709551361-u64max
USER_DATA	2	src->outlen	0-524280,18446744073709551361-u64max[c]
NO_OVERFLOW_SIMPLE	1	qp->buf.npages

drivers/infiniband/hw/mlx5/qp.c mlx5_ib_destroy_qp() -> destroy_qp_common()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	1	qp	4096-ptr_max
PARAM_VALUE	1	qp->type	0,2-4098,4100-u32max
BUF_SIZE	2	src	(-1)-0,32
BUF_SIZE	2	src	(-1)-0,32
DATA_SOURCE	0	dev	r to_mdev
DATA_SOURCE	1	qp	r to_mqp
DATA_SOURCE	2	src	$1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/mlx4/qp.c _mlx4_ib_destroy_qp() -> destroy_qp_common()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->dev	4096-ptr_max
PARAM_VALUE	0	dev->qp1_proxy	4096-ptr_max
PARAM_VALUE	1	qp	4096-ptr_max
PARAM_VALUE	1	qp->counter_index	0
PARAM_VALUE	2	src	0
BUF_SIZE	3	udata	(-1)-0,32
BUF_SIZE	3	udata	(-1)-0,32
CAPPED_DATA	1	qp	1
DATA_SOURCE	0	dev	r to_mdev
DATA_SOURCE	1	qp	r to_mqp
DATA_SOURCE	3	udata	$1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/mlx4/qp.c mlx4_ib_destroy_wq() -> destroy_qp_common()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	1	qp	4096-ptr_max
PARAM_VALUE	1	qp->counter_index	0
PARAM_VALUE	2	src	1
DATA_SOURCE	0	dev	r to_mdev
DATA_SOURCE	1	qp	r to_mqp
DATA_SOURCE	3	udata	$1
NOCHECK_CALL