Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/infiniband/hw/hfi1/rc.c hfi1_rc_rcv() -> hfi1_send_rc_ack()

Type Parameter Key Value
PARAM_VALUE 0 packet 2775324369589047296,3094529792514850816,6593409613815103488,8041790189294186496,8917837643760062464
PARAM_VALUE 0 packet->dlid 0-16777215,4010803200-4043309055
PARAM_VALUE 0 packet->etail (-1)-2047
PARAM_VALUE 0 packet->etype 0-7
PARAM_VALUE 0 packet->extra_byte 0-1
PARAM_VALUE 0 packet->grh 0,4096-ptr_max
PARAM_VALUE 0 packet->hdr 4096-ptr_max
PARAM_VALUE 0 packet->maxcnt 0-16711425
PARAM_VALUE 0 packet->ohdr 4096-ptr_max
PARAM_VALUE 0 packet->ohdr->bth 4096-ptr_max
PARAM_VALUE 0 packet->opcode 0-12,19-255
PARAM_VALUE 0 packet->pad 0-7
PARAM_VALUE 0 packet->qp 4096-ptr_max
PARAM_VALUE 0 packet->qp->ibqp.qp_context->state 2
PARAM_VALUE 0 packet->qp->priv 4096-ptr_max
PARAM_VALUE 0 packet->qp->priv->hdr_type 0-1
PARAM_VALUE 0 packet->qp->priv->opfn.completed 0-u16max
PARAM_VALUE 0 packet->qp->priv->opfn.curr 0-1
PARAM_VALUE 0 packet->qp->priv->opfn.extended 1
PARAM_VALUE 0 packet->qp->priv->s_iowait.lock->seqcount.seqcount.dep_map->name 0-255
PARAM_VALUE 0 packet->qp->r_nak_state 0,98
PARAM_VALUE 0 packet->qp->remote_ah_attr.ah_flags 1
PARAM_VALUE 0 packet->qp->s_ack_queue 4096-ptr_max
PARAM_VALUE 0 packet->qp->s_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 packet->qp->s_mig_state 0,2
PARAM_VALUE 0 packet->qp->s_rdma_mr->refcount.percpu_count_ptr 1-u64max
PARAM_VALUE 0 packet->qp->s_rdma_read_sge.num_sge 0
PARAM_VALUE 0 packet->qp->s_rdma_read_sge.sge.mr 4096-ptr_max
PARAM_VALUE 0 packet->rcd 4096-ptr_max
PARAM_VALUE 0 packet->rcd->opstats->stats 4096-ptr_max
PARAM_VALUE 0 packet->rcd->rhf_rcv_function_map 4096-ptr_max
PARAM_VALUE 0 packet->rhf_addr 4096-ptr_max
PARAM_VALUE 0 packet->sc 0-31
PARAM_VALUE 0 packet->slid 0-16777215
PARAM_VALUE 0 packet->tlen 0,4-16380
PARAM_VALUE 0 packet->updegr 0-1
BUF_SIZE 0 packet->ohdr (-1),48
CAPPED_DATA 0 packet->maxcnt 1
CAPPED_DATA 0 packet->slid 1
DATA_SOURCE 0 packet $0
DATA_SOURCE 1 is_fecn r process_ecn
FUZZY_MAX 0 packet->qp->r_nak_state 98
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 rcu_read
LOCK2 0 &packet->qp->r_lock
TYPE_LOCK (struct rvt_qp)->r_lock

drivers/infiniband/hw/hfi1/driver.c process_rcv_qp_work() -> hfi1_send_rc_ack()

Type Parameter Key Value
PARAM_VALUE 0 packet 2775324369589047296,6593409613815103488,8917837643760062464
PARAM_VALUE 0 packet->etail (-1)-2047
PARAM_VALUE 0 packet->etype 0-7
PARAM_VALUE 0 packet->maxcnt 0-16711425
PARAM_VALUE 0 packet->qp 4096-ptr_max
PARAM_VALUE 0 packet->qp->r_flags 0-251
PARAM_VALUE 0 packet->rcd 4096-ptr_max
PARAM_VALUE 0 packet->rhf_addr 4096-ptr_max
PARAM_VALUE 0 packet->tlen 0,4-16380
PARAM_VALUE 0 packet->updegr 0-1
PARAM_VALUE 1 is_fecn 0
CAPPED_DATA 0 packet->maxcnt 1
DATA_SOURCE 0 packet $0
BIT_INFO 0 packet->numpkt 0x0,0xffffff1f
TASK_NOT_RUNNING
NOCHECK_CALL