Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 0 qp->priv 4096-ptr_max
PARAM_VALUE 0 qp->priv->opfn.completed 0-u16max
PARAM_VALUE 0 qp->priv->opfn.curr 0-1
PARAM_VALUE 0 qp->priv->opfn.extended 1
PARAM_VALUE 0 qp->priv->s_iowait.lock->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 qp->r_nak_state 0
PARAM_VALUE 0 qp->r_rq.kwq 0,4096-ptr_max
PARAM_VALUE 0 qp->r_rq.kwq->c_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 qp->r_rq.kwq->tail 0-4294967294
PARAM_VALUE 0 qp->r_sge.sge.mr->refcount.data 0,4096-ptr_max
PARAM_VALUE 0 qp->r_state 0-11,22-23
PARAM_VALUE 0 qp->s_rdma_read_sge.sge.mr->refcount.percpu_count_ptr 1-u64max
PARAM_VALUE 0 qp->s_timer.entry.pprev 0
PARAM_VALUE 0 qp->s_timer.flags 0-4194302
PARAM_VALUE 0 qp->s_timer.function 0
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &packet->qp->r_lock
LOCK2 flags
LOCK2 rcu_read
TYPE_LOCK (struct rvt_qp)->r_lock