Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/bng_re/bng_dev.c bng_re_dev_init() -> bng_re_debugfs_add_pdev()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
PARAM_VALUE 0 rdev->adev 4096-ptr_max
PARAM_VALUE 0 rdev->adev->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 rdev->aux_dev 4096-ptr_max
PARAM_VALUE 0 rdev->aux_dev->auxr_dev_lock.dep_map->name 0-255
PARAM_VALUE 0 rdev->aux_dev->auxr_dev_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 rdev->aux_dev->auxr_dev_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 rdev->aux_dev->auxr_dev_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 rdev->aux_dev->auxr_dev_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 rdev->aux_dev->auxr_dev_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 rdev->aux_dev->auxr_dev_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 rdev->aux_dev->auxr_dev_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 rdev->aux_dev->auxr_info 4096-ptr_max
PARAM_VALUE 0 rdev->aux_dev->auxr_info->handle 4096-ptr_max
PARAM_VALUE 0 rdev->aux_dev->auxr_info->msix_requested 2-u16max
PARAM_VALUE 0 rdev->aux_dev->flags 0,4-u32max
PARAM_VALUE 0 rdev->aux_dev->pdev 4096-ptr_max
PARAM_VALUE 0 rdev->aux_dev->pdev->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 rdev->aux_dev->pdev->dev.driver_data->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 rdev->aux_dev->pdev->dev.driver_data->dev->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rdev->aux_dev->pdev->dev.driver_data->hw_resc.max_stat_ctxs 2-u16max
PARAM_VALUE 0 rdev->aux_dev->pdev->dev.driver_data->hwrm_cmd_lock.dep_map->name 0-255
PARAM_VALUE 0 rdev->aux_dev->pdev->dev.driver_data->hwrm_cmd_seq 0-u16max
PARAM_VALUE 0 rdev->aux_dev->pdev->dev.driver_data->hwrm_dma_pool->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 rdev->aux_dev->pdev->dev.driver_data->hwrm_dma_pool->dev->dma_uses_io_tlb 1
PARAM_VALUE 0 rdev->aux_dev->pdev->dev.driver_data->hwrm_dma_pool->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rdev->aux_dev->pdev->dev.driver_data->hwrm_dma_pool->size 0-s32max
PARAM_VALUE 0 rdev->aux_dev->pdev->dev.driver_data->netdev->lock.dep_map->name 0-255
PARAM_VALUE 0 rdev->aux_dev->pdev->dev.driver_data->netdev->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 rdev->aux_dev->pdev->dev.driver_data->netdev->lock.osq.tail.counter s32min-s32max
PARAM_VALUE 0 rdev->bng_res.cctx 4096-ptr_max
PARAM_VALUE 0 rdev->bng_res.dattr 4096-ptr_max
PARAM_VALUE 0 rdev->bng_res.pdev 4096-ptr_max
PARAM_VALUE 0 rdev->bng_res.pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 rdev->chip_ctx 4096-ptr_max
PARAM_VALUE 0 rdev->chip_ctx->hwrm_cmd_max_timeout 60
PARAM_VALUE 0 rdev->chip_ctx->hwrm_intf_ver 0
PARAM_VALUE 0 rdev->dev_attr 4096-ptr_max
PARAM_VALUE 0 rdev->nqr 4096-ptr_max
PARAM_VALUE 0 rdev->nqr->msix_entries 4096-ptr_max
PARAM_VALUE 0 rdev->nqr->num_msix 2-u16max
PARAM_VALUE 0 rdev->rcfw->res->dattr->tqm_alloc_reqs 0-255
PARAM_VALUE 0 rdev->rcfw.cmdq.cmdq_mbox.reg.bar_id 0
PARAM_VALUE 0 rdev->rcfw.cmdq.cmdq_mbox.reg.bar_reg 0
PARAM_VALUE 0 rdev->rcfw.cmdq.cmdq_mbox.reg.len 260
PARAM_VALUE 0 rdev->rcfw.cmdq.hwq.depth 8192
PARAM_VALUE 0 rdev->rcfw.cmdq.hwq.level 0-2
PARAM_VALUE 0 rdev->rcfw.cmdq.hwq.max_elements 8192,65536
PARAM_VALUE 0 rdev->rcfw.cmdq.waitq.head.next->next 4096-ptr_max
PARAM_VALUE 0 rdev->rcfw.cmdq.waitq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 rdev->rcfw.cmdq.waitq.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 rdev->rcfw.cmdq_depth 8192
PARAM_VALUE 0 rdev->rcfw.creq.hwq.depth 65536
PARAM_VALUE 0 rdev->rcfw.creq.hwq.level 0-2
PARAM_VALUE 0 rdev->rcfw.creq.hwq.max_elements 8192,65536
PARAM_VALUE 0 rdev->rcfw.creq.hwq.pbl 4096-ptr_max
PARAM_VALUE 0 rdev->rcfw.creq.hwq.prod 0
PARAM_VALUE 0 rdev->rcfw.crsqe_tbl 4096-ptr_max
PARAM_VALUE 0 rdev->rcfw.pdev 4096-ptr_max
PARAM_VALUE 0 rdev->rcfw.pdev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 rdev->rcfw.pdev->dev.class 0,4096-ptr_max
PARAM_VALUE 0 rdev->rcfw.pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 rdev->rcfw.pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 rdev->rcfw.pdev->dev.cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 rdev->rcfw.pdev->dev.cma_area->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rdev->rcfw.pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 rdev->rcfw.pdev->dev.dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rdev->rcfw.pdev->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 rdev->rcfw.pdev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 rdev->rcfw.pdev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 rdev->rcfw.pdev->dev.dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rdev->rcfw.pdev->dev.dma_uses_io_tlb 1
PARAM_VALUE 0 rdev->rcfw.pdev->dev.driver 0,4096-ptr_max
PARAM_VALUE 0 rdev->rcfw.pdev->dev.iommu->attach_deferred 0-1
PARAM_VALUE 0 rdev->rcfw.pdev->pcie_cap 0-1
PARAM_VALUE 0 rdev->rcfw.res 4096-ptr_max
PARAM_VALUE 0 rdev->rcfw.res->cctx 4096-ptr_max
PARAM_VALUE 0 rdev->rcfw.res->dattr 4096-ptr_max
PARAM_VALUE 0 rdev->rcfw.res->dattr->max_cq_sges 0-13
PARAM_VALUE 0 rdev->rcfw.res->dattr->max_pd 65536
PARAM_VALUE 0 rdev->rcfw.res->dattr->max_pkey 1
PARAM_VALUE 0 rdev->rcfw.res->dattr->max_qp_init_rd_atom 0-126
PARAM_VALUE 0 rdev->rcfw.res->dattr->max_qp_rd_atom 0-126
PARAM_VALUE 0 rdev->rcfw.res->dattr->max_qp_sges 0-13
PARAM_VALUE 0 rdev->rcfw.res->dattr->max_qp_wqes 0-4351
PARAM_VALUE 0 rdev->rcfw.res->dattr->max_sgid 0-256
PARAM_VALUE 0 rdev->rcfw.res->dattr->max_srq 0-131070
PARAM_VALUE 0 rdev->rcfw.res->dattr->max_srq_sges 0-255
PARAM_VALUE 0 rdev->rcfw.res->pdev 4096-ptr_max
BUF_SIZE 0 rdev->nqr 92064
CAPPED_DATA 0 rdev->aux_dev->pdev->dev.driver_data->auxr_dev->auxr_info->msix_requested 1
CAPPED_DATA 0 rdev->aux_dev->pdev->dev.driver_data->hw_resc.max_stat_ctxs 1
CAPPED_DATA 0 rdev->aux_dev->pdev->dev.driver_data->hwrm_dma_pool->size 1
CAPPED_DATA 0 rdev->rcfw.crsqe_tbl 1
DATA_SOURCE 0 rdev $0
FUZZY_MAX 0 rdev->aux_dev->auxr_info->msix_requested 2
PARAM_COMPARE 0 rdev->aux_dev->pdev->dev.driver_data->hw_resc.max_stat_ctxs != $0->aux_dev->pdev->dev.driver_data->nq_nr_rings
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL