mana_ib_destroy_queue identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/infiniband/hw/mana/mana_ib.h, line 718 (as a prototype)

Defined in 1 files as a function:

drivers/infiniband/hw/mana/main.c, line 325 (as a function)

Referenced in 3 files:

Smatch caller information:

drivers/infiniband/hw/mana/wq.c mana_ib_destroy_wq() -> mana_ib_destroy_queue()

Type	Parameter	Key	Value
PARAM_VALUE	0	mdev	4096-ptr_max
PARAM_VALUE	1	queue	4096-ptr_max
NOCHECK_CALL

drivers/infiniband/hw/mana/qp.c mana_ib_create_qp_raw() -> mana_ib_destroy_queue()

Type	Parameter	Key	Value
PARAM_VALUE	0	mdev	4096-ptr_max
PARAM_VALUE	0	mdev->gdma_dev	4096-ptr_max
PARAM_VALUE	0	mdev->gdma_dev->gdma_context	4096-ptr_max
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->hwc_timeout	1
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->max_req_msg_size	0-4000000
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->sema.count	0-4294967295
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->sema.first_waiter->list.next	5349227543279349760
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->sema.first_waiter->list.prev	5349227543279349760
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->sema.first_waiter->list.prev->next	5349227543279349760
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->sema.first_waiter->up	1
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->sema.last_holder	0
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->sema.lock.owner	(-1)
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->sema.lock.owner_cpu	4294967295
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->txq->gdma_wq->head	0-4294967295
PARAM_VALUE	0	mdev->ib_dev.dma_device->iommu->pci_32bit_workaround	0-1
PARAM_VALUE	1	queue	4096-ptr_max
PARAM_VALUE	1	queue->gdma_region	0
PARAM_VALUE	1	queue->id	0,u32max
PARAM_VALUE	1	queue->umem	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/mana/qp.c mana_ib_create_rc_qp() -> mana_ib_destroy_queue()

Type	Parameter	Key	Value
PARAM_VALUE	0	mdev	4096-ptr_max
PARAM_VALUE	0	mdev->adapter_handle	0
PARAM_VALUE	1	queue	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/mana/qp.c mana_ib_create_uc_qp() -> mana_ib_destroy_queue()

Type	Parameter	Key	Value
PARAM_VALUE	0	mdev	4096-ptr_max
PARAM_VALUE	0	mdev->adapter_handle	0
PARAM_VALUE	0	mdev->ib_dev.dma_device->iommu->pci_32bit_workaround	0-1
PARAM_VALUE	1	queue	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/mana/qp.c mana_ib_create_ud_qp() -> mana_ib_destroy_queue()

Type	Parameter	Key	Value
PARAM_VALUE	0	mdev	4096-ptr_max
PARAM_VALUE	0	mdev->adapter_handle	0
PARAM_VALUE	0	mdev->gdma_dev	4096-ptr_max
PARAM_VALUE	0	mdev->gdma_dev->doorbell	0-u16max,u32max
PARAM_VALUE	1	queue	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/mana/qp.c mana_ib_destroy_qp_raw() -> mana_ib_destroy_queue()

Type	Parameter	Key	Value
PARAM_VALUE	0	mdev	4096-ptr_max
PARAM_VALUE	1	queue	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/mana/qp.c mana_ib_destroy_rc_qp() -> mana_ib_destroy_queue()

Type	Parameter	Key	Value
PARAM_VALUE	0	mdev	4096-ptr_max
PARAM_VALUE	0	mdev->adapter_handle	0
PARAM_VALUE	0	mdev->gdma_dev	4096-ptr_max
PARAM_VALUE	0	mdev->gdma_dev->gdma_context	4096-ptr_max
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data	4096-ptr_max
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->sema.first_waiter->list.next	5349227543279349760
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->sema.first_waiter->list.prev	5349227543279349760
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->sema.first_waiter->list.prev->next	5349227543279349760
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->sema.first_waiter->up	1
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->sema.lock.dep_map->name	0-255
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->sema.lock.owner	(-1)
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->sema.lock.owner_cpu	4294967295
PARAM_VALUE	1	queue	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/mana/qp.c mana_ib_destroy_uc_qp() -> mana_ib_destroy_queue()

Type	Parameter	Key	Value
PARAM_VALUE	0	mdev	4096-ptr_max
PARAM_VALUE	0	mdev->adapter_handle	0
PARAM_VALUE	0	mdev->gdma_dev	4096-ptr_max
PARAM_VALUE	0	mdev->gdma_dev->gdma_context	4096-ptr_max
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data	4096-ptr_max
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->sema.first_waiter->list.next	5349227543279349760
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->sema.first_waiter->list.prev	5349227543279349760
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->sema.first_waiter->list.prev->next	5349227543279349760
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->sema.first_waiter->up	1
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->sema.lock.dep_map->name	0-255
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->sema.lock.owner	(-1)
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->sema.lock.owner_cpu	4294967295
PARAM_VALUE	1	queue	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/mana/qp.c mana_ib_destroy_ud_qp() -> mana_ib_destroy_queue()

Type	Parameter	Key	Value
PARAM_VALUE	0	mdev	4096-ptr_max
PARAM_VALUE	0	mdev->adapter_handle	0
PARAM_VALUE	0	mdev->gdma_dev	4096-ptr_max
PARAM_VALUE	0	mdev->gdma_dev->gdma_context	4096-ptr_max
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data	4096-ptr_max
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->sema.first_waiter->list.next	5349227543279349760
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->sema.first_waiter->list.prev	5349227543279349760
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->sema.first_waiter->list.prev->next	5349227543279349760
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->sema.first_waiter->up	1
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->sema.lock.dep_map->name	0-255
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->sema.lock.owner	(-1)
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->sema.lock.owner_cpu	4294967295
PARAM_VALUE	1	queue	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/mana/cq.c mana_ib_create_cq() -> mana_ib_destroy_queue()

Type	Parameter	Key	Value
PARAM_VALUE	0	mdev	4096-ptr_max
PARAM_VALUE	0	mdev->adapter_caps.max_qp_wr	0,2048
PARAM_VALUE	0	mdev->adapter_handle	0
PARAM_VALUE	0	mdev->gdma_dev	4096-ptr_max
PARAM_VALUE	0	mdev->gdma_dev->doorbell	0-u16max,u32max
PARAM_VALUE	0	mdev->gdma_dev->gdma_context	4096-ptr_max
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->hwc_timeout	1
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->sema.count	0-4294967295
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->sema.first_waiter->list.next	5349227543279349760
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->sema.first_waiter->list.prev	5349227543279349760
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->sema.first_waiter->list.prev->next	5349227543279349760
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->sema.first_waiter->up	1
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->sema.last_holder	0
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->sema.lock.dep_map->name	0-255
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->sema.lock.owner	(-1)
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->sema.lock.owner_cpu	4294967295
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->txq->gdma_wq->head	0-4294967295
PARAM_VALUE	0	mdev->gdma_dev->gdma_context->hwc.driver_data->txq->msg_buf->gpa_mkey	0-16777215
PARAM_VALUE	1	queue	4096-ptr_max
PARAM_VALUE	1	queue->gdma_region	0
PARAM_VALUE	1	queue->id	0,u32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/mana/cq.c mana_ib_destroy_cq() -> mana_ib_destroy_queue()

Type	Parameter	Key	Value
PARAM_VALUE	0	mdev	4096-ptr_max
PARAM_VALUE	0	mdev->adapter_handle	0
PARAM_VALUE	0	mdev->gdma_dev	4096-ptr_max
PARAM_VALUE	0	mdev->gdma_dev->gdma_context	4096-ptr_max
PARAM_VALUE	1	queue	4096-ptr_max
CAPPED_DATA	0	mdev->gdma_dev->gdma_context->max_num_cqs	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL