Open Menu /

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_reset_qp() -> rvt_remove_qp()

Type Parameter Key Value
PARAM_VALUE 0 rdi 4096-ptr_max
PARAM_VALUE 1 qp 4096-ptr_max
PARAM_VALUE 1 qp->priv->rcd->exp_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 qp->priv->rcd->flow_queue.dequeue 0-4294967295
PARAM_VALUE 1 qp->priv->rcd->rarr_queue.dequeue 0-4294967295
PARAM_VALUE 1 qp->priv->s_flags 0-4294836223
PARAM_VALUE 1 qp->priv->s_iowait.lock 0
PARAM_VALUE 1 qp->priv->s_iowait.lock->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 qp->priv->s_iowait.lock->seqcount.seqcount.dep_map->name 0-255
PARAM_VALUE 1 qp->priv->s_sendcontext->credit_ctrl_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 qp->priv->s_sendcontext->credit_intr_count 0-4294967295
PARAM_VALUE 1 qp->priv->s_sendcontext->waitlock.seqcount.seqcount.dep_map->name 0-255
PARAM_VALUE 1 qp->priv->s_sendcontext->waitlock.seqcount.seqcount.sequence 0-4294967295
PARAM_VALUE 1 qp->priv->s_tid_retry_timer.entry.pprev 0
PARAM_VALUE 1 qp->priv->s_tid_retry_timer.flags 0-4194302
PARAM_VALUE 1 qp->priv->s_tid_retry_timer.function 0
PARAM_VALUE 1 qp->priv->s_tid_timer.entry.pprev 0
PARAM_VALUE 1 qp->priv->s_tid_timer.flags 0-4194302
PARAM_VALUE 1 qp->priv->s_tid_timer.function 0
PARAM_VALUE 1 qp->priv->tid_rdma.trigger_work.lockdep_map->name 0-255
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->s_rnr_timer.base->cpu_base->expires_next 0-s64max
PARAM_VALUE 1 qp->s_rnr_timer.base->cpu_base->softirq_expires_next 0-s64max
PARAM_VALUE 1 qp->s_rnr_timer.is_queued 0
PARAM_VALUE 1 qp->s_rnr_timer.node.node.next 0
PARAM_VALUE 1 qp->s_rnr_timer.node.node.prev 0
PARAM_VALUE 1 qp->s_timer.entry.pprev 0
PARAM_VALUE 1 qp->s_timer.flags 0-4194302
PARAM_VALUE 1 qp->s_timer.function 0
PARAM_VALUE 1 qp->state 0
CAPPED_DATA 1 qp->s_rnr_timer.base 1
DATA_SOURCE 0 rdi $0
DATA_SOURCE 1 qp $1
PARAM_COMPARE 1 &qp->s_rnr_timer != $1->s_rnr_timer.base->running
BIT_INFO 1 qp->s_flags 0x0,0xffff001b
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL