Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

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

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.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->max_num_cqs 1-u32max
PARAM_VALUE 0 mdev->ib_dev.dma_device->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 *mdev->gdma_dev->gdma_context->cq_table 4096-ptr_max
PARAM_VALUE 1 cq 4096-ptr_max
PARAM_VALUE 1 cq->queue.gdma_region 0
PARAM_VALUE 1 cq->queue.id 0
PARAM_COMPARE 0 mdev->gdma_dev->gdma_context->max_num_cqs > $1->queue.id
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/mana/qp.c mana_ib_create_qp_rss() -> mana_ib_remove_cq_cb()

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

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

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->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.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 0 mdev->ib_dev.dma_device->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 1 cq 4096-ptr_max
PARAM_VALUE 1 cq->cq_handle 0,u64max
PARAM_VALUE 1 cq->cqe 1-67108863
PARAM_VALUE 1 cq->queue.gdma_region 0
PARAM_VALUE 1 cq->queue.id 0,u32max
PARAM_VALUE 1 cq->queue.umem 4096-ptr_max
PARAM_VALUE 1 cq->queue.umem->sgt_append.sgt.sgl 4096-ptr_max
CAPPED_DATA 1 cq->comp_vector 1
CAPPED_DATA 1 cq->cqe 1
FUZZY_MAX 1 cq->cq_handle u64max
NOSPEC 1 cq->comp_vector
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 cq->comp_vector 0-s32max[c]
USER_DATA 1 cq->cqe 2-67108863[c]
USER_DATA 1 cq->queue.umem->address 0-u64max[c]
USER_DATA 1 cq->queue.umem->length 0,8-u64max
USER_DATA 1 cq->queue.umem->writable 0-1[c]
NO_OVERFLOW_SIMPLE 1 cq->cqe

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

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