Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/infiniband/sw/rdmavt/qp.c rvt_post_one_wr() -> rvt_invalidate_rkey()

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 0 qp->local_ops_pending.counter 0
DATA_SOURCE 0 qp $0
PREEMPT_ADD
TASK_NOT_RUNNING
USER_DATA 1 rkey 0-u32max
LOCK2 0 &qp->s_hlock
HALF_LOCKED2 &conn->send_lock
HALF_LOCKED2 &gsi->lock
HALF_LOCKED2 &mr->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &rdma->sq_sem
HALF_LOCKED2 bh
HALF_LOCKED2 flags
TYPE_LOCK (struct rvt_qp)->s_hlock

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

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 0 qp->ibqp.qp_type 2-3
PARAM_VALUE 0 qp->s_lock.rlock.dep_map->name 0-255
CAPPED_DATA 0 qp->ibqp.qp_type 1
CAPPED_DATA 0 qp->remote_qpn 1
DATA_SOURCE 0 qp $0
PARAM_COMPARE 0 qp->s_head != $0->s_last
HARD_MAX 0 qp->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

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

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 0 qp->ibqp.qp_type 2-3
CAPPED_DATA 0 qp->ibqp.qp_type 1
DATA_SOURCE 0 qp r rvt_lookup_qpn
PREEMPT_ADD <- disables preempt
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 rcu_read
LOCK2 0 &qp->r_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct rvt_qp)->r_lock

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

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 0 qp->priv 4096-ptr_max
CAPPED_DATA 0 qp 1
CAPPED_DATA 0 qp->s_last 1
DATA_SOURCE 0 qp $0
PARAM_COMPARE 0 qp->s_head != $0->s_last
BIT_INFO 0 qp->s_flags 0x0,0xfbff7f7f
PREEMPT_ADD
TASK_NOT_RUNNING
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 hfi1_rc_rcv() -> rvt_invalidate_rkey()

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->r_state 0-5,8-255
TASK_NOT_RUNNING
LOCK2 &packet->qp->r_lock
LOCK2 flags
LOCK2 rcu_read
TYPE_LOCK (struct rvt_qp)->r_lock

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

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 0 qp->priv 4096-ptr_max
PARAM_VALUE 0 qp->s_wqe 0
CAPPED_DATA 0 qp 1
CAPPED_DATA 0 qp->s_last 1
DATA_SOURCE 0 qp $0
PARAM_COMPARE 0 qp->s_head != $0->s_last
TASK_NOT_RUNNING
LOCK2 ps.flags
LOCK2 0 &qp->s_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct rvt_qp)->s_lock