Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/sw/rdmavt/qp.c rvt_ruc_loopback() -> loopback_qp_drop()

Type Parameter Key Value
PARAM_VALUE 1 sqp 4096-ptr_max
PARAM_VALUE 1 sqp->ibqp.qp_type 2-3
CAPPED_DATA 1 sqp->ibqp.qp_type 1
CAPPED_DATA 1 sqp->remote_qpn 1
DATA_SOURCE 1 sqp $0
PARAM_COMPARE 1 sqp->s_head != $1->s_last
BIT_INFO 1 sqp->s_flags 0x2,0xffff001f
HARD_MAX 1 sqp->ibqp.qp_type 3
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 &pool->lock

drivers/infiniband/sw/rdmavt/qp.c rvt_ruc_loopback() -> loopback_qp_drop()

Type Parameter Key Value
PARAM_VALUE 1 sqp 4096-ptr_max
PARAM_VALUE 1 sqp->ibqp.qp_type 2-3
CAPPED_DATA 1 sqp->ibqp.qp_type 1
CAPPED_DATA 1 sqp->remote_qpn 1
DATA_SOURCE 1 sqp $0
PARAM_COMPARE 1 sqp->s_head != $1->s_last
HARD_MAX 1 sqp->ibqp.qp_type 3
PREEMPT_ADD <- disables preempt
TASK_NOT_RUNNING
LOCK2 &qp->r_lock
LOCK2 flags
LOCK2 rcu_read
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct rvt_qp)->r_lock