Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/hw/ocrdma/ocrdma_hw.c ocrdma_destroy_eq() -> _ocrdma_destroy_eq()
| 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->eq_cnt | 1-s32max |
| PARAM_VALUE | 0 | dev->eq_tbl | 4096-ptr_max |
| 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.parent->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,392,400,408,416,424,432,440,448,472,480,488,496,520,536,544,552,560,568,576,584,592,600,608,616,624,632,640,648,656,664,672,680-s64max |
| 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->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.pdev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | dev->nic_info.pdev->dev.iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | dev->sl | 0-7 |
| PARAM_VALUE | 0 | dev->stats_mem.size | 1848 |
| PARAM_VALUE | 1 | eq | 4096-ptr_max |
| BUF_SIZE | 0 | dev->mbx_cmd | (-1),236 |
| CAPPED_DATA | 0 | dev->dir | 1 |
| CAPPED_DATA | 0 | dev->nic_info.msix.num_vectors | 1 |
| CAPPED_DATA | 1 | eq | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | eq | $1 |
| FUZZY_MAX | 0 | dev->nic_info.intr_mode | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | dev->asic_id | 0 |
| NO_OVERFLOW_SIMPLE | 0 | dev->ibdev.hw_stats_attr_index | |
| UNITS | 1 | eq | unit_byte |
| LOCK2 | global &be_adapter_list_lock |