Open Menu /

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_reset_work() -> ionic_kill_rdma_admin()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 fatal_path 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/ionic/ionic_ibdev.c ionic_create_ibdev() -> ionic_kill_rdma_admin()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->admin_state.counter 0,2
PARAM_VALUE 0 dev->aq_vec 0,4096-ptr_max
PARAM_VALUE 0 dev->counter_stats 0
PARAM_VALUE 0 dev->cq_tbl.xa_flags 2080
PARAM_VALUE 0 dev->cq_tbl.xa_head 0
PARAM_VALUE 0 dev->eq_vec 0,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->hw_stats 0,4096-ptr_max
PARAM_VALUE 0 dev->hw_stats_buf 0,4096-ptr_max
PARAM_VALUE 0 dev->hw_stats_count 0-128
PARAM_VALUE 0 dev->hw_stats_hdrs 0,4096-ptr_max
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.dev.kobj->name 0-255
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.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->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 0-4
PARAM_VALUE 0 dev->lif_cfg.eq_count 0-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->nranges s32min-s32max
PARAM_VALUE 0 dev->lif_cfg.hwdev->dma_uses_io_tlb 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->ionic->idev.fw_generation 0-255
PARAM_VALUE 0 dev->lif_cfg.phc_state 0,18379471554275704832,18446612682070032384
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 fatal_path 0
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->lif_cfg.hwdev->cma_area->nranges 1
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

drivers/infiniband/hw/ionic/ionic_ibdev.c ionic_destroy_ibdev() -> ionic_kill_rdma_admin()

Type Parameter Key Value
PARAM_VALUE 1 fatal_path 0
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte
LOCK2 &dev->mutex
TYPE_LOCK (struct device)->mutex