Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/hw/ocrdma/ocrdma_hw.c ocrdma_cleanup_hw() -> ocrdma_destroy_mq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->asic_id | 0 |
| PARAM_VALUE | 0 | dev->attr.cq_overflow_detect | 0-1 |
| PARAM_VALUE | 0 | dev->attr.ird | 1 |
| PARAM_VALUE | 0 | dev->attr.ird_page_size | 4096 |
| PARAM_VALUE | 0 | dev->attr.max_inline_data | 0-2008,4294967264-u32max |
| PARAM_VALUE | 0 | dev->attr.max_rdma_sge | 0-u16max |
| PARAM_VALUE | 0 | dev->attr.max_recv_sge | 0-u16max |
| PARAM_VALUE | 0 | dev->attr.max_send_sge | 0-u16max |
| PARAM_VALUE | 0 | dev->attr.max_srq_sge | 0-u16max |
| PARAM_VALUE | 0 | dev->attr.num_ird_pages | 4 |
| PARAM_VALUE | 0 | dev->attr.rqe_size | 0-2040 |
| PARAM_VALUE | 0 | dev->attr.srq_supported | 0-1 |
| PARAM_VALUE | 0 | dev->attr.udp_encap | 0-3 |
| PARAM_VALUE | 0 | dev->attr.wqe_size | 0-2040 |
| PARAM_VALUE | 0 | dev->av_tbl.ahid | 0-u16max |
| PARAM_VALUE | 0 | dev->av_tbl.num_ah | 512 |
| PARAM_VALUE | 0 | dev->av_tbl.size | 0,32768 |
| PARAM_VALUE | 0 | dev->dir | 0,4096-u64max |
| PARAM_VALUE | 0 | dev->hba_port_num | 0-63 |
| PARAM_VALUE | 0 | dev->ibdev.client_data_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | dev->ibdev.client_data_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | dev->ibdev.coredev.ports_kobj->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | dev->ibdev.dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | dev->ibdev.dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | dev->ibdev.driver_def->needs_fn_offset | 0,35,40,48,72,88,96,112,136,232,240,264,272,288,296,312,336,344,352,360,368,376,384,400,408,416,432,440,448,480,520,536,544,592,600,608,616,624,632,640,648,656,704,712,720,728,736,752,760,768,792 |
| PARAM_VALUE | 0 | dev->ibdev.port_data->cache.last_port_state | 1,4 |
| PARAM_VALUE | 0 | dev->ibdev.port_data->immutable.pkey_tbl_len | 0-u16max |
| PARAM_VALUE | 0 | dev->id | 0-7 |
| PARAM_VALUE | 0 | dev->mqe_ctx.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->mqe_ctx.lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->mqe_ctx.lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->mqe_ctx.lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->mqe_ctx.lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->mqe_ctx.lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | dev->mqe_ctx.lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | dev->nic_info.intr_mode | 0-1 |
| PARAM_VALUE | 0 | dev->nic_info.msix.num_vectors | s32min-32 |
| PARAM_VALUE | 0 | dev->nic_info.msix.start_vector | 0-u16max |
| PARAM_VALUE | 0 | dev->nic_info.pdev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | dev->nic_info.pdev->dev.dma_mem->spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->pd_mgr | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->sl | 0-7 |
| PARAM_VALUE | 0 | dev->stats_mem.size | 1848 |
| PARAM_VALUE | 0 | dev->stats_mem.va | 0 |
| BUF_SIZE | 0 | dev->mbx_cmd | (-1),236 |
| CAPPED_DATA | 0 | dev->cq_tbl | 1 |
| CAPPED_DATA | 0 | dev->dir | 1 |
| CAPPED_DATA | 0 | dev->pd_mgr | 1 |
| CAPPED_DATA | 0 | dev->qp_tbl | 1 |
| CAPPED_DATA | 0 | dev->stag_arr | 1 |
| CAPPED_DATA | 0 | dev->stats_mem.debugfs_mem | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | dev->asic_id | 0 |
| NO_OVERFLOW_SIMPLE | 0 | dev->ibdev.hw_stats_attr_index | |
| LOCK2 | global &be_adapter_list_lock |
drivers/infiniband/hw/ocrdma/ocrdma_hw.c ocrdma_init_hw() -> ocrdma_destroy_mq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->asic_id | 0 |
| PARAM_VALUE | 0 | dev->attr.cq_overflow_detect | 0-1 |
| PARAM_VALUE | 0 | dev->attr.ird | 1 |
| PARAM_VALUE | 0 | dev->attr.ird_page_size | 4096 |
| PARAM_VALUE | 0 | dev->attr.max_inline_data | 0-2008,4294967264-u32max |
| PARAM_VALUE | 0 | dev->attr.max_rdma_sge | 0-u16max |
| PARAM_VALUE | 0 | dev->attr.max_recv_sge | 0-u16max |
| PARAM_VALUE | 0 | dev->attr.max_send_sge | 0-u16max |
| PARAM_VALUE | 0 | dev->attr.max_srq_sge | 0-u16max |
| PARAM_VALUE | 0 | dev->attr.num_ird_pages | 4 |
| PARAM_VALUE | 0 | dev->attr.rqe_size | 0-2040 |
| PARAM_VALUE | 0 | dev->attr.srq_supported | 0-1 |
| PARAM_VALUE | 0 | dev->attr.udp_encap | 0-3 |
| PARAM_VALUE | 0 | dev->attr.wqe_size | 0-2040 |
| PARAM_VALUE | 0 | dev->av_tbl.ahid | 0-u16max |
| PARAM_VALUE | 0 | dev->av_tbl.num_ah | 512 |
| PARAM_VALUE | 0 | dev->av_tbl.size | 0,32768 |
| PARAM_VALUE | 0 | dev->dir | 4096-u64max |
| PARAM_VALUE | 0 | dev->eq_tbl | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->hba_port_num | 0-63 |
| PARAM_VALUE | 0 | dev->id | 0-7 |
| PARAM_VALUE | 0 | dev->mbx_cmd | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->mbx_cmd->async_cqid_ringsize | 0-4294967295 |
| PARAM_VALUE | 0 | dev->mbx_cmd->async_cqid_valid | 0-4294967295 |
| PARAM_VALUE | 0 | dev->mbx_cmd->async_event_bitmap | 0-4294967295 |
| PARAM_VALUE | 0 | dev->mbx_cmd->cnt | 0-4294967295 |
| PARAM_VALUE | 0 | dev->mbx_cmd->cqid_pages | 0-4294967295 |
| PARAM_VALUE | 0 | dev->mbx_cmd->delay | 0-4294967295 |
| PARAM_VALUE | 0 | dev->mbx_cmd->eqn | 0-4294967295 |
| PARAM_VALUE | 0 | dev->mbx_cmd->ev_cnt_flags | 0-4294967295 |
| PARAM_VALUE | 0 | dev->mbx_cmd->num_pages | 0-4294967295 |
| PARAM_VALUE | 0 | dev->mbx_cmd->pdid_cqecnt | 0-4294967295 |
| PARAM_VALUE | 0 | dev->mbx_cmd->pgsz_pgcnt | 0-4294967295 |
| PARAM_VALUE | 0 | dev->mbx_cmd->req.cmd_len | 0-4294967295 |
| PARAM_VALUE | 0 | dev->mbx_cmd->req.rsvd_version | 0-4294967295 |
| PARAM_VALUE | 0 | dev->mbx_cmd->req.subsys_op | 0-4294967295 |
| PARAM_VALUE | 0 | dev->mbx_cmd->req.timeout | 0-4294967295 |
| PARAM_VALUE | 0 | dev->mbx_cmd->rsvd | 0-4294967295 |
| PARAM_VALUE | 0 | dev->mbx_cmd->rsvd6 | 0-4294967295 |
| PARAM_VALUE | 0 | dev->mbx_cmd->valid | 0-4294967295 |
| PARAM_VALUE | 0 | dev->mq.cq.created | 1 |
| PARAM_VALUE | 0 | dev->mq.cq.entry_size | 16 |
| PARAM_VALUE | 0 | dev->mq.cq.head | 0 |
| PARAM_VALUE | 0 | dev->mq.cq.len | 256 |
| PARAM_VALUE | 0 | dev->mq.cq.size | 4096 |
| PARAM_VALUE | 0 | dev->mq.cq.tail | 0 |
| PARAM_VALUE | 0 | dev->mq.cq.va | 1-ptr_max |
| PARAM_VALUE | 0 | dev->mq.sq.created | 1 |
| PARAM_VALUE | 0 | dev->mq.sq.entry_size | 256 |
| PARAM_VALUE | 0 | dev->mq.sq.len | 128 |
| PARAM_VALUE | 0 | dev->mq.sq.size | 32768 |
| PARAM_VALUE | 0 | dev->mq.sq.tail | 0 |
| PARAM_VALUE | 0 | dev->mq.sq.va | 1-ptr_max |
| PARAM_VALUE | 0 | dev->mqe_ctx.cmd_wait.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->mqe_ctx.cmd_wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->mqe_ctx.cmd_wait.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->mqe_ctx.cqe_status | 0 |
| PARAM_VALUE | 0 | dev->mqe_ctx.ext_status | 0 |
| PARAM_VALUE | 0 | dev->mqe_ctx.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->mqe_ctx.lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->mqe_ctx.lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->mqe_ctx.lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->mqe_ctx.lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | dev->nic_info.db | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->nic_info.intr_mode | 0-1 |
| PARAM_VALUE | 0 | dev->nic_info.msix.num_vectors | s32min-32 |
| PARAM_VALUE | 0 | dev->nic_info.msix.start_vector | 0-u16max |
| PARAM_VALUE | 0 | dev->nic_info.netdev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->nic_info.pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->nic_info.pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->nic_info.pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->nic_info.pdev->dev.cma_area->alloc_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | dev->nic_info.pdev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | dev->nic_info.pdev->dev.dma_io_tlb_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->nic_info.pdev->dev.dma_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->nic_info.pdev->dev.dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->nic_info.pdev->dev.dma_mem->spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->nic_info.pdev->dev.dma_uses_io_tlb | 1 |
| PARAM_VALUE | 0 | dev->nic_info.pdev->dev.iommu->pci_32bit_workaround | 0-1 |
| BUF_SIZE | 0 | dev->mbx_cmd | 236 |
| CAPPED_DATA | 0 | dev->mq.cq.va | 1 |
| CAPPED_DATA | 0 | dev->mq.sq.va | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| MEM_ZERO | 0 | &dev->mqe_ctx | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | dev->asic_id | 0 |
| LOCK2 | global &be_adapter_list_lock |