Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/infiniband/hw/hfi1/rc.c hfi1_make_rc_req() -> hfi1_make_ruc_header()

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 0 qp->priv 4096-ptr_max
PARAM_VALUE 1 ohdr->u.tid_rdma.r_req.kdeth0 0
PARAM_VALUE 2 bth0 0,8388608,16777216-4286578688
PARAM_VALUE 5 middle 0-1
PARAM_VALUE 6 ps 4057051805190463488,5504123112019656704
PARAM_VALUE 6 ps->dev 4096-ptr_max
PARAM_VALUE 6 ps->dev->txwait_lock.seqcount.seqcount.dep_map->name 0-255
PARAM_VALUE 6 ps->dev->verbs_txreq_cache 4096-ptr_max
PARAM_VALUE 6 ps->dev->verbs_txreq_cache->object_size 0-4294967295
PARAM_VALUE 6 ps->ppd 4096-ptr_max
PARAM_VALUE 6 ps->s_txreq 4096-ptr_max
PARAM_VALUE 6 ps->s_txreq->mr 0,4096-ptr_max
PARAM_VALUE 6 ps->s_txreq->mr->refcount.percpu_count_ptr 1-u64max
PARAM_VALUE 6 ps->s_txreq->qp 4096-ptr_max
PARAM_VALUE 6 ps->s_txreq->qp->priv 4096-ptr_max
PARAM_VALUE 6 ps->s_txreq->ss 0,4096-ptr_max
PARAM_VALUE 6 ps->s_txreq->txreq.flags 0
PARAM_VALUE 6 ps->s_txreq->txreq.num_desc 0
PARAM_VALUE 6 ps->wait 4096-ptr_max
BUF_SIZE 1 ohdr 48
BUF_SIZE 6 ps->s_txreq->ss 0,48
CAPPED_DATA 0 qp 1
CAPPED_DATA 6 ps->dev->verbs_txreq_cache 1
DATA_SOURCE 0 qp $0
DATA_SOURCE 6 ps $1
FUZZY_MAX 5 middle 1
BIT_INFO 0 qp->s_flags 0x0,0xfffeffff
BIT_INFO 2 bth0 0x0,0x800000
HARD_MAX 5 middle 1
PREEMPT_ADD
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 ps.flags
LOCK2 0 &qp->s_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct rvt_qp)->s_lock

drivers/infiniband/hw/hfi1/rc.c make_rc_ack() -> hfi1_make_ruc_header()

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 0 qp->priv 4096-ptr_max
PARAM_VALUE 0 qp->s_ack_state 4,13-16,18,225,229
PARAM_VALUE 2 bth0 218103808,234881024-251658240,268435456,285212672,301989888,3774873600,3841982464
PARAM_VALUE 4 bth2 0-s32max
PARAM_VALUE 5 middle 0-1
PARAM_VALUE 6 ps 4057051805190463488,5504123112019656704
PARAM_VALUE 6 ps->dev 4096-ptr_max
PARAM_VALUE 6 ps->dev->txwait_lock.seqcount.seqcount.dep_map->name 0-255
PARAM_VALUE 6 ps->dev->verbs_txreq_cache 4096-ptr_max
PARAM_VALUE 6 ps->dev->verbs_txreq_cache->object_size 0-4294967295
PARAM_VALUE 6 ps->ppd 4096-ptr_max
PARAM_VALUE 6 ps->s_txreq 4096-ptr_max
PARAM_VALUE 6 ps->s_txreq->mr 0,4096-ptr_max
PARAM_VALUE 6 ps->s_txreq->mr->refcount.percpu_count_ptr 1-u64max
PARAM_VALUE 6 ps->s_txreq->qp 4096-ptr_max
PARAM_VALUE 6 ps->s_txreq->qp->priv 4096-ptr_max
PARAM_VALUE 6 ps->s_txreq->ss 0,4096-ptr_max
PARAM_VALUE 6 ps->s_txreq->ss->num_sge 0-255
PARAM_VALUE 6 ps->s_txreq->ss->sge.m 0-u16max
PARAM_VALUE 6 ps->s_txreq->ss->sge.n 0-u16max
PARAM_VALUE 6 ps->s_txreq->txreq.flags 0,16
PARAM_VALUE 6 ps->s_txreq->txreq.num_desc 0
PARAM_VALUE 6 ps->wait 4096-ptr_max
BUF_SIZE 1 ohdr 48
BUF_SIZE 6 ps->ibp (-1),664
BUF_SIZE 6 ps->s_txreq->ss (-1)-0,48
BUF_SIZE 6 ps->wait (-1),104
CAPPED_DATA 0 qp 1
CAPPED_DATA 6 ps->dev->verbs_txreq_cache 1
DATA_SOURCE 0 qp $1
DATA_SOURCE 1 ohdr $2
DATA_SOURCE 6 ps $3
FUZZY_MAX 0 qp->s_ack_state 229
FUZZY_MAX 2 bth0 3774873600
FUZZY_MAX 5 middle 1
BIT_INFO 6 ps->s_txreq->txreq.flags 0x0,0x10
HARD_MAX 5 middle 1
PREEMPT_ADD
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 ps.flags
LOCK2 0 &qp->s_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct rvt_qp)->s_lock

drivers/infiniband/hw/hfi1/uc.c hfi1_make_uc_req() -> hfi1_make_ruc_header()

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 0 qp->priv 4096-ptr_max
PARAM_VALUE 0 qp->s_state 32-43
PARAM_VALUE 0 qp->s_wqe 0,4096-ptr_max
PARAM_VALUE 2 bth0 536870912-729808896
PARAM_VALUE 4 bth2 0-s32max
PARAM_VALUE 5 middle 0-1
PARAM_VALUE 6 ps 4057051805190463488
PARAM_VALUE 6 ps->dev 4096-ptr_max
PARAM_VALUE 6 ps->dev->txwait_lock.seqcount.seqcount.dep_map->name 0-255
PARAM_VALUE 6 ps->dev->verbs_txreq_cache 4096-ptr_max
PARAM_VALUE 6 ps->dev->verbs_txreq_cache->object_size 0-4294967295
PARAM_VALUE 6 ps->ppd 4096-ptr_max
PARAM_VALUE 6 ps->s_txreq 4096-ptr_max
PARAM_VALUE 6 ps->s_txreq->hdr_dwords 5-12
PARAM_VALUE 6 ps->s_txreq->mr 0
PARAM_VALUE 6 ps->s_txreq->qp 4096-ptr_max
PARAM_VALUE 6 ps->s_txreq->qp->priv 4096-ptr_max
PARAM_VALUE 6 ps->s_txreq->ss 4096-ptr_max
PARAM_VALUE 6 ps->s_txreq->txreq.flags 0
PARAM_VALUE 6 ps->s_txreq->txreq.num_desc 0
PARAM_VALUE 6 ps->wait 4096-ptr_max
BUF_SIZE 1 ohdr 48
BUF_SIZE 6 ps->s_txreq->ss 48
CAPPED_DATA 0 qp 1
CAPPED_DATA 6 ps->dev->verbs_txreq_cache 1
CAPPED_DATA 6 ps->s_txreq->s_cur_size 1
DATA_SOURCE 0 qp $0
DATA_SOURCE 6 ps $1
FUZZY_MAX 0 qp->s_state 43
FUZZY_MAX 5 middle 1
BIT_INFO 0 qp->s_state 0x20,0x2f
BIT_INFO 2 bth0 0x0,0x800000
HARD_MAX 5 middle 1
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 ps.flags
LOCK2 0 &qp->s_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct rvt_qp)->s_lock

drivers/infiniband/hw/hfi1/tid_rdma.c hfi1_make_tid_rdma_pkt() -> hfi1_make_ruc_header()

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 0 qp->priv 4096-ptr_max
PARAM_VALUE 0 qp->priv->s_resync_psn 0,2047-s32max
PARAM_VALUE 0 qp->priv->tid_rdma.remote 4096-ptr_max
PARAM_VALUE 0 qp->s_ack_queue 4096-ptr_max
PARAM_VALUE 1 ohdr->u.tid_rdma.ack.kdeth0 1073741824
PARAM_VALUE 1 ohdr->u.tid_rdma.ack.kdeth1 0-255
PARAM_VALUE 2 bth0 3791650816-3808428032,3858759680
PARAM_VALUE 5 middle 0
PARAM_VALUE 6 ps 5504123112019656704
PARAM_VALUE 6 ps->dev 4096-ptr_max
PARAM_VALUE 6 ps->dev->verbs_txreq_cache 4096-ptr_max
PARAM_VALUE 6 ps->dev->verbs_txreq_cache->object_size 0-4294967295
PARAM_VALUE 6 ps->ppd 4096-ptr_max
PARAM_VALUE 6 ps->s_txreq 4096-ptr_max
PARAM_VALUE 6 ps->s_txreq->hdr_dwords 14
PARAM_VALUE 6 ps->s_txreq->mr 0
PARAM_VALUE 6 ps->s_txreq->phdr.hdr.ibh.u.oth.u.tid_rdma.ack.kdeth0 1073741824
PARAM_VALUE 6 ps->s_txreq->phdr.hdr.ibh.u.oth.u.tid_rdma.ack.kdeth1 0-255
PARAM_VALUE 6 ps->s_txreq->qp 4096-ptr_max
PARAM_VALUE 6 ps->s_txreq->qp->priv 4096-ptr_max
PARAM_VALUE 6 ps->s_txreq->qp->s_ack_queue 4096-ptr_max
PARAM_VALUE 6 ps->s_txreq->ss 0,4096-ptr_max
PARAM_VALUE 6 ps->s_txreq->txreq.flags 0
PARAM_VALUE 6 ps->s_txreq->txreq.num_desc 0
PARAM_VALUE 6 ps->wait 4096-ptr_max
BUF_SIZE 1 ohdr 48
BUF_SIZE 6 ps->s_txreq->ss 0,48
CAPPED_DATA 0 qp 1
CAPPED_DATA 0 qp->priv->tid_rdma.remote 1
CAPPED_DATA 6 ps->dev->verbs_txreq_cache 1
DATA_SOURCE 0 qp $0
DATA_SOURCE 6 ps $1
PARAM_COMPARE 6 &ps->s_txreq->phdr.hdr.ibh.u.oth == $1
BIT_INFO 2 bth0 0x0,0x0
PREEMPT_ADD
NOCHECK_CALL
LOCK2 ps.flags
LOCK2 0 &qp->s_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct rvt_qp)->s_lock

drivers/infiniband/hw/hfi1/tid_rdma.c make_tid_rdma_ack() -> hfi1_make_ruc_header()

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 0 qp->priv 4096-ptr_max
PARAM_VALUE 0 qp->priv->r_next_psn_kdeth 0-s32max
PARAM_VALUE 0 qp->priv->r_next_psn_kdeth_save 0-4294967295
PARAM_VALUE 0 qp->priv->rcd 4096-ptr_max
PARAM_VALUE 0 qp->priv->resync 0
PARAM_VALUE 0 qp->priv->tid_rdma.remote 4096-ptr_max
PARAM_VALUE 0 qp->s_ack_queue 4096-ptr_max
PARAM_VALUE 1 ohdr 4096-ptr_max
PARAM_VALUE 1 ohdr->u.tid_rdma.ack.kdeth0 1073741824
PARAM_VALUE 1 ohdr->u.tid_rdma.ack.kdeth1 0-255
PARAM_VALUE 1 ohdr->u.tid_rdma.ack.verbs_psn 0-s32max
PARAM_VALUE 2 bth0 3875536896
PARAM_VALUE 4 bth2 0-s32max
PARAM_VALUE 5 middle 0
PARAM_VALUE 6 ps 5504123112019656704
PARAM_VALUE 6 ps->dev 4096-ptr_max
PARAM_VALUE 6 ps->dev->verbs_txreq_cache 4096-ptr_max
PARAM_VALUE 6 ps->dev->verbs_txreq_cache->object_size 0-4294967295
PARAM_VALUE 6 ps->ppd 4096-ptr_max
PARAM_VALUE 6 ps->s_txreq 4096-ptr_max
PARAM_VALUE 6 ps->s_txreq->hdr_dwords 14
PARAM_VALUE 6 ps->s_txreq->mr 0
PARAM_VALUE 6 ps->s_txreq->qp 4096-ptr_max
PARAM_VALUE 6 ps->s_txreq->qp->priv 4096-ptr_max
PARAM_VALUE 6 ps->s_txreq->qp->s_ack_queue 4096-ptr_max
PARAM_VALUE 6 ps->s_txreq->s_cur_size 0
PARAM_VALUE 6 ps->s_txreq->ss 0
PARAM_VALUE 6 ps->s_txreq->txreq.flags 0
PARAM_VALUE 6 ps->s_txreq->txreq.num_desc 0
PARAM_VALUE 6 ps->wait 4096-ptr_max
BUF_SIZE 1 ohdr 48
CAPPED_DATA 0 qp 1
CAPPED_DATA 0 qp->priv->tid_rdma.remote 1
CAPPED_DATA 6 ps->dev->verbs_txreq_cache 1
DATA_SOURCE 0 qp $0
DATA_SOURCE 1 ohdr $1
DATA_SOURCE 6 ps $2
PREEMPT_ADD
NOCHECK_CALL
LOCK2 ps.flags
LOCK2 0 &qp->s_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct rvt_qp)->s_lock