Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/infiniband/hw/ionic/ionic_admin.c __ionic_create_rdma_adminq() -> ionic_queue_destroy()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->cons 0
PARAM_VALUE 0 q->dbell 0,16777216-281474959933440
PARAM_VALUE 0 q->depth_log2 1-16
PARAM_VALUE 0 q->prod 0
PARAM_VALUE 0 q->ptr 1-ptr_max
PARAM_VALUE 0 q->stride_log2 0-16
PARAM_VALUE 1 dma_dev 4096-ptr_max
PARAM_VALUE 1 dma_dev->cma_area->nranges s32min-s32max
PARAM_VALUE 1 dma_dev->dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 dma_dev->dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 1 dma_dev->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 1 dma_dev->iommu->attach_deferred 0-1
CAPPED_DATA 1 dma_dev 1
CAPPED_DATA 1 dma_dev->cma_area->nranges 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/ionic/ionic_admin.c __ionic_destroy_rdma_adminq() -> ionic_queue_destroy()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 1 dma_dev->cma_area->nranges s32min-s32max
CAPPED_DATA 1 dma_dev->cma_area->nranges 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/ionic/ionic_admin.c ionic_create_eq() -> ionic_queue_destroy()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->cons 0-1
PARAM_VALUE 0 q->dbell 0,16777216-281474959933440
PARAM_VALUE 0 q->depth_log2 1-16
PARAM_VALUE 0 q->prod 0
PARAM_VALUE 0 q->ptr 1-ptr_max
PARAM_VALUE 0 q->stride_log2 0-16
PARAM_VALUE 1 dma_dev 4096-ptr_max
PARAM_VALUE 1 dma_dev->cma_area->nranges s32min-s32max
PARAM_VALUE 1 dma_dev->dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 dma_dev->dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 1 dma_dev->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 1 dma_dev->iommu->attach_deferred 0-1
CAPPED_DATA 1 dma_dev 1
CAPPED_DATA 1 dma_dev->cma_area->nranges 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/ionic/ionic_admin.c ionic_destroy_eq() -> ionic_queue_destroy()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/ionic/ionic_controlpath.c ionic_create_cq_common() -> ionic_queue_destroy()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->cons 0
PARAM_VALUE 0 q->dbell 0,16777216-281474959933440
PARAM_VALUE 0 q->depth_log2 1-16
PARAM_VALUE 0 q->prod 0
PARAM_VALUE 0 q->ptr 1-ptr_max
PARAM_VALUE 0 q->stride_log2 0-16
PARAM_VALUE 1 dma_dev->cma_area->nranges s32min-s32max
PARAM_VALUE 1 dma_dev->dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 dma_dev->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 1 dma_dev->iommu->attach_deferred 0-1
CAPPED_DATA 1 dma_dev 1
CAPPED_DATA 1 dma_dev->cma_area->nranges 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/ionic/ionic_controlpath.c ionic_destroy_cq_common() -> ionic_queue_destroy()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 1 dma_dev->cma_area->nranges s32min-s32max
CAPPED_DATA 1 dma_dev->cma_area->nranges 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/ionic/ionic_controlpath.c ionic_qp_rq_destroy() -> ionic_queue_destroy()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 1 dma_dev->cma_area->nranges s32min-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/ionic/ionic_controlpath.c ionic_qp_rq_init() -> ionic_queue_destroy()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->cons 0
PARAM_VALUE 0 q->dbell 0,16777216-281474959933440
PARAM_VALUE 0 q->depth_log2 1-16
PARAM_VALUE 0 q->prod 0
PARAM_VALUE 0 q->ptr 1-ptr_max
PARAM_VALUE 0 q->stride_log2 0-16
PARAM_VALUE 1 dma_dev->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 dma_dev->cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 1 dma_dev->cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 dma_dev->cma_area->nranges s32min-s32max
PARAM_VALUE 1 dma_dev->dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 dma_dev->dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 1 dma_dev->dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 1 dma_dev->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 1 dma_dev->iommu->attach_deferred 0-1
CAPPED_DATA 1 dma_dev 1
CAPPED_DATA 1 dma_dev->cma_area->nranges 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/ionic/ionic_controlpath.c ionic_qp_sq_destroy() -> ionic_queue_destroy()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 1 dma_dev->cma_area->nranges s32min-s32max
NOSPEC 0 q->mask
NOSPEC 0 q->size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 q->depth_log2 1-255
USER_DATA 0 q->mask 1-u16max[c]
USER_DATA 0 q->size 1-u32max[c]
USER_DATA 0 q->stride_log2 1-255

drivers/infiniband/hw/ionic/ionic_controlpath.c ionic_qp_sq_init() -> ionic_queue_destroy()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->cons 0
PARAM_VALUE 0 q->dbell 0,16777216-281474959933440
PARAM_VALUE 0 q->depth_log2 1-16
PARAM_VALUE 0 q->prod 0
PARAM_VALUE 0 q->ptr 1-ptr_max
PARAM_VALUE 0 q->stride_log2 0-16
PARAM_VALUE 1 dma_dev->cma_area->nranges s32min-s32max
PARAM_VALUE 1 dma_dev->dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 dma_dev->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 1 dma_dev->iommu->attach_deferred 0-1
CAPPED_DATA 1 dma_dev 1
CAPPED_DATA 1 dma_dev->cma_area->nranges 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL