Defined in 1 files as a prototype:

Defined in 1 files as a member:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/infiniband/sw/rdmavt/qp.c _rvt_reset_qp() -> (struct rvt_driver_provided)->stop_send_queue()

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 0 qp->priv->rcd->exp_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 qp->priv->rcd->flow_queue.dequeue 0-4294967295
PARAM_VALUE 0 qp->priv->rcd->rarr_queue.dequeue 0-4294967295
PARAM_VALUE 0 qp->priv->s_iowait.lock 0
PARAM_VALUE 0 qp->priv->s_iowait.lock->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 qp->priv->s_iowait.lock->seqcount.seqcount.dep_map->name 0-255
PARAM_VALUE 0 qp->r_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 qp->s_hlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 qp->s_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 qp->s_rnr_timer.base->cpu_base->expires_next 0-s64max
PARAM_VALUE 0 qp->s_rnr_timer.base->cpu_base->softirq_expires_next 0-s64max
PARAM_VALUE 0 qp->s_rnr_timer.is_queued 0
PARAM_VALUE 0 qp->s_rnr_timer.node.node.next 0
PARAM_VALUE 0 qp->s_rnr_timer.node.node.prev 0
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
PARAM_VALUE 0 qp->state 0
DATA_SOURCE 0 qp $1
BIT_INFO 0 qp->s_flags 0x0,0xffff001b
TASK_NOT_RUNNING
NOCHECK_CALL