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_open() -> c4iw_init_resource()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
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->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->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
PARAM_VALUE 1 nr_tpt 0-134217727
PARAM_VALUE 2 nr_pdid 65536
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->qpmask 1
CAPPED_DATA 0 rdev->stats.qid.total 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
LOCK2 global &uld_mutex