Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/cxgb4/device.c c4iw_rdev_close() -> c4iw_pblpool_destroy()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
PARAM_VALUE 0 rdev->stats.lock.dep_map->name 0-255
PARAM_VALUE 0 rdev->stats.lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 rdev->stats.lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 rdev->stats.lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 rdev->uctx.lock.dep_map->name 0-255
PARAM_VALUE 0 rdev->uctx.lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 rdev->uctx.lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 rdev->uctx.lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 rdev->uctx.lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 rdev->uctx.lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 rdev->uctx.lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 rdev->uctx.lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 rdev->uctx.lock.osq.tail.counter 0-s32max
CAPPED_DATA 0 rdev->status_page 1
CAPPED_DATA 0 rdev->wr_log 1
DATA_SOURCE 0 rdev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/cxgb4/device.c c4iw_rdev_open() -> c4iw_pblpool_destroy()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
PARAM_VALUE 0 rdev->free_workq 0
PARAM_VALUE 0 rdev->hw_queue.t4_max_cq_depth 65518
PARAM_VALUE 0 rdev->hw_queue.t4_max_eq_size 65520
PARAM_VALUE 0 rdev->hw_queue.t4_max_iq_size 65520
PARAM_VALUE 0 rdev->lldi.pdev 4096-ptr_max
PARAM_VALUE 0 rdev->lldi.sge_host_page_size 0-4096
PARAM_VALUE 0 rdev->lldi.vr 4096-ptr_max
PARAM_VALUE 0 rdev->ocqp_pool 0,4096-ptr_max
PARAM_VALUE 0 rdev->ocqp_pool->algo 7427687418366767104
PARAM_VALUE 0 rdev->ocqp_pool->data 0
PARAM_VALUE 0 rdev->ocqp_pool->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rdev->ocqp_pool->min_alloc_order 12
PARAM_VALUE 0 rdev->ocqp_pool->name 0
PARAM_VALUE 0 rdev->pbl_pool 4096-ptr_max
PARAM_VALUE 0 rdev->pbl_pool->algo 7427687418366767104
PARAM_VALUE 0 rdev->pbl_pool->data 0
PARAM_VALUE 0 rdev->pbl_pool->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rdev->pbl_pool->min_alloc_order 8
PARAM_VALUE 0 rdev->pbl_pool->name 0
PARAM_VALUE 0 rdev->resource.pdid_table.flags 0
PARAM_VALUE 0 rdev->resource.pdid_table.last 0
PARAM_VALUE 0 rdev->resource.pdid_table.max 65536
PARAM_VALUE 0 rdev->resource.pdid_table.start 0
PARAM_VALUE 0 rdev->resource.pdid_table.table 16,4096-ptr_max
PARAM_VALUE 0 rdev->resource.qid_table.flags 0
PARAM_VALUE 0 rdev->resource.qid_table.last 0
PARAM_VALUE 0 rdev->resource.qid_table.table 16,4096-ptr_max
PARAM_VALUE 0 rdev->resource.srq_table.flags 0
PARAM_VALUE 0 rdev->resource.srq_table.last 0
PARAM_VALUE 0 rdev->resource.srq_table.max 1-u32max
PARAM_VALUE 0 rdev->resource.srq_table.start 0
PARAM_VALUE 0 rdev->resource.srq_table.table 16,4096-ptr_max
PARAM_VALUE 0 rdev->resource.tpt_table.flags 1
PARAM_VALUE 0 rdev->resource.tpt_table.last 0
PARAM_VALUE 0 rdev->resource.tpt_table.max 0-134217727
PARAM_VALUE 0 rdev->resource.tpt_table.start 0
PARAM_VALUE 0 rdev->resource.tpt_table.table 16,4096-ptr_max
PARAM_VALUE 0 rdev->rqt_pool 0,4096-ptr_max
PARAM_VALUE 0 rdev->rqt_pool->algo 7427687418366767104
PARAM_VALUE 0 rdev->rqt_pool->data 0
PARAM_VALUE 0 rdev->rqt_pool->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rdev->rqt_pool->min_alloc_order 10
PARAM_VALUE 0 rdev->rqt_pool->name 0
PARAM_VALUE 0 rdev->stats.ocqp.total 0-u32max
PARAM_VALUE 0 rdev->stats.pbl.total 0-u32max
PARAM_VALUE 0 rdev->stats.pd.total 65536
PARAM_VALUE 0 rdev->stats.qid.total 0-u32max
PARAM_VALUE 0 rdev->stats.rqt.total 0-u32max
PARAM_VALUE 0 rdev->stats.srqt.total 0-u32max
PARAM_VALUE 0 rdev->stats.stag.total 0-u32max
PARAM_VALUE 0 rdev->status_page 0,18379471554275704832,18446612682070032384
PARAM_VALUE 0 rdev->status_page->cq_size 0-u32max
PARAM_VALUE 0 rdev->status_page->cq_start 0-u32max
PARAM_VALUE 0 rdev->status_page->qp_size 0-u32max
PARAM_VALUE 0 rdev->status_page->qp_start 0-u32max
PARAM_VALUE 0 rdev->status_page->write_cmpl_supported 0-1
PARAM_VALUE 0 rdev->uctx.lock.dep_map->name 0-255
PARAM_VALUE 0 rdev->uctx.lock.first_waiter 0
PARAM_VALUE 0 rdev->uctx.lock.magic 4096-ptr_max
PARAM_VALUE 0 rdev->uctx.lock.osq.tail.counter 0
PARAM_VALUE 0 rdev->uctx.lock.owner.counter 0
BUF_SIZE 0 rdev->free_workq (-1),512,528-8720
BUF_SIZE 0 rdev->wr_log 0-u64max
CAPPED_DATA 0 rdev->cqmask 1
CAPPED_DATA 0 rdev->lldi.ucq_density 1
CAPPED_DATA 0 rdev->lldi.udb_density 1
CAPPED_DATA 0 rdev->lldi.vr->cq.size 1
CAPPED_DATA 0 rdev->lldi.vr->cq.start 1
CAPPED_DATA 0 rdev->lldi.vr->qp.size 1
CAPPED_DATA 0 rdev->lldi.vr->qp.start 1
CAPPED_DATA 0 rdev->ocqp_pool 1
CAPPED_DATA 0 rdev->qpmask 1
CAPPED_DATA 0 rdev->resource.pdid_table.table 1
CAPPED_DATA 0 rdev->resource.qid_table.table 1
CAPPED_DATA 0 rdev->resource.tpt_table.table 1
CAPPED_DATA 0 rdev->stats.qid.total 1
CAPPED_DATA 0 rdev->status_page 1
CAPPED_DATA 0 rdev->status_page->cq_size 1
CAPPED_DATA 0 rdev->status_page->cq_start 1
CAPPED_DATA 0 rdev->status_page->qp_size 1
CAPPED_DATA 0 rdev->status_page->qp_start 1
DATA_SOURCE 0 rdev $0
FUZZY_MAX 0 rdev->lldi.sge_host_page_size 4096
PARAM_COMPARE 0 rdev->lldi.ucq_density == $0->lldi.udb_density
PARAM_COMPARE 0 rdev->lldi.vr->cq.size == $0->lldi.vr->qp.size
PARAM_COMPARE 0 rdev->lldi.vr->cq.start == $0->lldi.vr->qp.start
HARD_MAX 0 rdev->lldi.sge_host_page_size 4096
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &uld_mutex