Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/sw/rdmavt/qp.c rvt_modify_qp() -> _rvt_reset_qp()

Type Parameter Key Value
PARAM_VALUE 0 rdi 4096-ptr_max
PARAM_VALUE 1 qp 4096-ptr_max
PARAM_VALUE 1 qp->r_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 qp->s_hlock.rlock.dep_map->name 0-255
PARAM_VALUE 1 qp->s_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 qp->state 1-255
DATA_SOURCE 0 rdi r ib_to_rvt
DATA_SOURCE 1 qp r ibqp_to_rvtqp
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq
LOCK2 1 &qp->r_lock
LOCK2 1 &qp->s_hlock
LOCK2 1 &qp->s_lock
HALF_LOCKED2 &ibqp->qp_sec->mutex
TYPE_LOCK (struct rvt_qp)->r_lock
TYPE_LOCK (struct rvt_qp)->s_hlock
TYPE_LOCK (struct rvt_qp)->s_lock

drivers/infiniband/sw/rdmavt/qp.c rvt_reset_qp() -> _rvt_reset_qp()

Type Parameter Key Value
PARAM_VALUE 0 rdi 4096-ptr_max
PARAM_VALUE 1 qp 4096-ptr_max
PARAM_VALUE 1 qp->r_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 qp->s_hlock.rlock.dep_map->name 0-255
PARAM_VALUE 1 qp->s_lock.rlock.dep_map->name 0-255
DATA_SOURCE 0 rdi $0
DATA_SOURCE 1 qp $1
DATA_SOURCE 2 type $2
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 type 2-4,8,255
LOCK2 irq
LOCK2 1 &qp->r_lock
LOCK2 1 &qp->s_hlock
LOCK2 1 &qp->s_lock
TYPE_LOCK (struct rvt_qp)->r_lock
TYPE_LOCK (struct rvt_qp)->s_hlock
TYPE_LOCK (struct rvt_qp)->s_lock