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 |