Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
- drivers/infiniband/hw/hfi1/rc.c
- drivers/infiniband/hw/hfi1/tid_rdma.c
- drivers/infiniband/hw/hfi1/uc.c, line 232
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 |