Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->admin_state.counter 2
PARAM_VALUE 0 dev->aq_vec 4096-ptr_max
PARAM_VALUE 0 dev->cq_tbl.xa_flags 2080
PARAM_VALUE 0 dev->cq_tbl.xa_head 0
PARAM_VALUE 0 dev->eq_vec 4096-ptr_max
PARAM_VALUE 0 dev->half_cqid_udma_shift 0-64
PARAM_VALUE 0 dev->half_qpid_udma_shift 0-64
PARAM_VALUE 0 dev->inuse_ahid.inuse.xa.xa_flags 33554437
PARAM_VALUE 0 dev->inuse_ahid.inuse.xa.xa_head 0
PARAM_VALUE 0 dev->inuse_cqid.inuse.xa.xa_flags 33554437
PARAM_VALUE 0 dev->inuse_cqid.inuse.xa.xa_head 0
PARAM_VALUE 0 dev->inuse_dbid.inuse.xa.xa_flags 33554437
PARAM_VALUE 0 dev->inuse_dbid.inuse.xa.xa_head 0
PARAM_VALUE 0 dev->inuse_mrid.inuse.xa.xa_flags 33554437
PARAM_VALUE 0 dev->inuse_mrid.inuse.xa.xa_head 0
PARAM_VALUE 0 dev->inuse_pdid.inuse.xa.xa_flags 33554437
PARAM_VALUE 0 dev->inuse_pdid.inuse.xa.xa_head 0
PARAM_VALUE 0 dev->inuse_pdid.inuse_size 1024
PARAM_VALUE 0 dev->inuse_qpid.inuse.xa.xa_flags 33554437
PARAM_VALUE 0 dev->inuse_qpid.inuse.xa.xa_head 0
PARAM_VALUE 0 dev->lif_cfg.aq_count 1-4
PARAM_VALUE 0 dev->lif_cfg.eq_count 4-32
PARAM_VALUE 0 dev->lif_cfg.expdb_mask 0-15
PARAM_VALUE 0 dev->lif_cfg.hwdev 4096-ptr_max
PARAM_VALUE 0 dev->lif_cfg.hwdev->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->lif_cfg.hwdev->cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dev->lif_cfg.hwdev->cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->lif_cfg.hwdev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 dev->lif_cfg.hwdev->dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 dev->lif_cfg.hwdev->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->lif_cfg.hwdev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 dev->lif_cfg.lif 4096-ptr_max
PARAM_VALUE 0 dev->lif_cfg.lif->adminq_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->lif_cfg.lif->adminqcq->q.head_idx 0-u16max
PARAM_VALUE 0 dev->lif_cfg.lif->adminqcq->q.tail_idx 0-u16max
PARAM_VALUE 0 dev->lif_cfg.lif->ionic->idev.fw_generation 0-255
PARAM_VALUE 0 dev->lif_cfg.lif->ionic->idev.fw_hb_ready 0-1
PARAM_VALUE 0 dev->lif_cfg.lif->ionic->idev.fw_status_ready 0-1
PARAM_VALUE 0 dev->lif_cfg.lif->ionic->idev.last_fw_hb 0-4294967295
PARAM_VALUE 0 dev->lif_cfg.udma_count 2
PARAM_VALUE 0 dev->next_mrkey 1
PARAM_VALUE 0 dev->qp_tbl.xa_flags 2080
PARAM_VALUE 0 dev->qp_tbl.xa_head 0
PARAM_VALUE 0 *dev->lif_cfg.lif->netdev->name 0-255
PARAM_VALUE 1 aq 4096-ptr_max
PARAM_VALUE 1 aq->admin_state.counter 2
PARAM_VALUE 1 aq->armed 0
PARAM_VALUE 1 aq->dev 4096-ptr_max
PARAM_VALUE 1 aq->dev->admin_state.counter 2
PARAM_VALUE 1 aq->dev->aq_vec 4096-ptr_max
PARAM_VALUE 1 aq->dev->cq_tbl.xa_flags 2080
PARAM_VALUE 1 aq->dev->cq_tbl.xa_head 0
PARAM_VALUE 1 aq->dev->eq_vec 4096-ptr_max
PARAM_VALUE 1 aq->dev->half_cqid_udma_shift 0-64
PARAM_VALUE 1 aq->dev->half_qpid_udma_shift 0-64
PARAM_VALUE 1 aq->dev->inuse_ahid.inuse.xa.xa_flags 33554437
PARAM_VALUE 1 aq->dev->inuse_ahid.inuse.xa.xa_head 0
PARAM_VALUE 1 aq->dev->inuse_cqid.inuse.xa.xa_flags 33554437
PARAM_VALUE 1 aq->dev->inuse_cqid.inuse.xa.xa_head 0
PARAM_VALUE 1 aq->dev->inuse_dbid.inuse.xa.xa_flags 33554437
PARAM_VALUE 1 aq->dev->inuse_dbid.inuse.xa.xa_head 0
PARAM_VALUE 1 aq->dev->inuse_mrid.inuse.xa.xa_flags 33554437
PARAM_VALUE 1 aq->dev->inuse_mrid.inuse.xa.xa_head 0
PARAM_VALUE 1 aq->dev->inuse_pdid.inuse.xa.xa_flags 33554437
PARAM_VALUE 1 aq->dev->inuse_pdid.inuse.xa.xa_head 0
PARAM_VALUE 1 aq->dev->inuse_pdid.inuse_size 1024
PARAM_VALUE 1 aq->dev->inuse_qpid.inuse.xa.xa_flags 33554437
PARAM_VALUE 1 aq->dev->inuse_qpid.inuse.xa.xa_head 0
PARAM_VALUE 1 aq->dev->lif_cfg.aq_count 1-4
PARAM_VALUE 1 aq->dev->lif_cfg.eq_count 4-32
PARAM_VALUE 1 aq->dev->lif_cfg.expdb_mask 0-15
PARAM_VALUE 1 aq->dev->lif_cfg.hwdev 4096-ptr_max
PARAM_VALUE 1 aq->dev->lif_cfg.lif 4096-ptr_max
PARAM_VALUE 1 aq->dev->lif_cfg.udma_count 2
PARAM_VALUE 1 aq->dev->next_mrkey 1
PARAM_VALUE 1 aq->dev->qp_tbl.xa_flags 2080
PARAM_VALUE 1 aq->dev->qp_tbl.xa_head 0
PARAM_VALUE 1 aq->q.cons 0
PARAM_VALUE 1 aq->q.dbell 0,16777216-281474959933440
PARAM_VALUE 1 aq->q.depth_log2 1-16
PARAM_VALUE 1 aq->q.prod 0
PARAM_VALUE 1 aq->q.ptr 1-ptr_max
PARAM_VALUE 1 aq->q.stride_log2 0-16
PARAM_VALUE 1 aq->q_wr 4096-ptr_max
PARAM_VALUE 1 aq->wr_post.next 4096-ptr_max
PARAM_VALUE 1 aq->wr_post.next->next 4096-ptr_max
PARAM_VALUE 1 aq->wr_post.prev 4096-ptr_max
PARAM_VALUE 1 aq->wr_post.prev->next 4096-ptr_max
PARAM_VALUE 1 aq->wr_post.prev->prev 4096-ptr_max
PARAM_VALUE 1 aq->wr_prod.next 4096-ptr_max
PARAM_VALUE 1 aq->wr_prod.next->next 4096-ptr_max
PARAM_VALUE 1 aq->wr_prod.prev 4096-ptr_max
PARAM_VALUE 1 aq->wr_prod.prev->next 4096-ptr_max
PARAM_VALUE 1 aq->wr_prod.prev->prev 4096-ptr_max
BUF_SIZE 0 dev->aq_vec 8-32
BUF_SIZE 0 dev->eq_vec 32-256
BUF_SIZE 1 aq 280
CAPPED_DATA 0 dev->lif_cfg.eq_count 1
CAPPED_DATA 0 dev->lif_cfg.hwdev->cma_area->nranges 1
CAPPED_DATA 1 aq->dev->lif_cfg.eq_count 1
CAPPED_DATA 1 aq->q.ptr 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 aq r __ionic_create_rdma_adminq
FUZZY_MAX 0 dev->lif_cfg.aq_count 4
HARD_MAX 0 dev->lif_cfg.aq_count 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->lif_cfg.lif->ionic->idev.last_fw_hb 0-4294967295
NO_OVERFLOW_SIMPLE 0 dev->lif_cfg.aq_count
NO_OVERFLOW_SIMPLE 0 dev->lif_cfg.eq_count
NO_OVERFLOW_SIMPLE 1 aq->dev->lif_cfg.aq_count
NO_OVERFLOW_SIMPLE 1 aq->dev->lif_cfg.eq_count

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

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->admin_dwork.work.lockdep_map->name 0-255
PARAM_VALUE 0 dev->aq_vec 4096-ptr_max
PARAM_VALUE 0 dev->counter_stats 0
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.power.wakeirq->status 0-4294967295
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->lif_cfg.hwdev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 dev->reset_work.lockdep_map->name 0-255
PARAM_VALUE 1 aq 4096-ptr_max
PARAM_VALUE 1 aq->work.lockdep_map->name 0-255
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
CAPPED_DATA 0 dev->hw_stats 1
CAPPED_DATA 0 dev->hw_stats_buf 1
CAPPED_DATA 0 dev->hw_stats_hdrs 1
CAPPED_DATA 0 &dev->reset_work 1
CAPPED_DATA 1 &aq->work 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->ibdev.compat_devs.xa_flags 0-u32max
NO_OVERFLOW_SIMPLE 0 dev->lif_cfg.aq_count
NO_OVERFLOW_SIMPLE 0 dev->lif_cfg.eq_count
UNITS 0 dev unit_byte