Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 0 qp->priv 4096-ptr_max
CAPPED_DATA 0 qp 1
DATA_SOURCE 0 qp $0
PARAM_COMPARE 0 qp->s_head != $0->s_last
PREEMPT_ADD
TASK_NOT_RUNNING
NOCHECK_CALL
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_make_rc_req() -> clear_ahg()

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_cur 1
CAPPED_DATA 0 qp->s_tail 1
DATA_SOURCE 0 qp $0
PARAM_COMPARE 0 qp->s_cur == $0->s_head
PARAM_COMPARE 0 qp->s_cur == $0->s_tail
PARAM_COMPARE 0 qp->s_head == $0->s_tail
BIT_INFO 0 qp->s_flags 0x0,0xfbff7f7f
PREEMPT_ADD
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 ps.flags
LOCK2 0 &qp->s_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct rvt_qp)->s_lock

drivers/infiniband/hw/hfi1/ruc.c build_ahg() -> clear_ahg()

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 0 qp->priv 4096-ptr_max
PARAM_VALUE 0 qp->s_flags 1073741824-u32max
PARAM_VALUE 0 qp->s_mig_state 0
DATA_SOURCE 0 qp $0
BIT_INFO 0 qp->s_flags 0x40000000,0xfffbffff
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 ps.flags
LOCK2 0 &qp->s_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct rvt_qp)->s_lock

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

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

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

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_cur 1
DATA_SOURCE 0 qp $0
PARAM_COMPARE 0 qp->s_cur == $0->s_head
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 ps.flags
LOCK2 0 &qp->s_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct rvt_qp)->s_lock

drivers/infiniband/hw/hfi1/qp.c notify_qp_reset() -> clear_ahg()

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_flags 0-4294836223
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->priv->s_sendcontext->credit_ctrl_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 qp->priv->s_sendcontext->credit_intr_count 0-4294967295
PARAM_VALUE 0 qp->priv->s_sendcontext->waitlock.seqcount.seqcount.dep_map->name 0-255
PARAM_VALUE 0 qp->priv->s_sendcontext->waitlock.seqcount.seqcount.sequence 0-4294967295
PARAM_VALUE 0 qp->priv->s_tid_retry_timer.entry.pprev 0
PARAM_VALUE 0 qp->priv->s_tid_retry_timer.flags 0-4194302
PARAM_VALUE 0 qp->priv->s_tid_retry_timer.lockdep_map->name 0-255
PARAM_VALUE 0 qp->priv->s_tid_timer.entry.pprev 0
PARAM_VALUE 0 qp->priv->s_tid_timer.flags 0-4194302
PARAM_VALUE 0 qp->priv->s_tid_timer.lockdep_map->name 0-255
PARAM_VALUE 0 qp->priv->tid_rdma.trigger_work.lockdep_map->name 0-255
PARAM_VALUE 0 qp->r_adefered 0
PARAM_VALUE 0 qp->r_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 qp->r_sge.num_sge 0
PARAM_VALUE 0 qp->r_sge.sge.mr 4096-ptr_max
PARAM_VALUE 0 qp->r_sge.sge.mr->refcount.data 0,4096-ptr_max
PARAM_VALUE 0 qp->r_sge.sge.mr->refcount.percpu_count_ptr 1-u64max
PARAM_VALUE 0 qp->s_head 0-4294967294
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_rdma_mr 0
PARAM_VALUE 0 qp->s_rdma_read_sge.num_sge 0
PARAM_VALUE 0 qp->s_rdma_read_sge.sge.mr 4096-ptr_max
PARAM_VALUE 0 qp->s_rdma_read_sge.sge.mr->refcount.percpu_count_ptr 1-u64max
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->s_timer.lockdep_map->name 0-255
PARAM_VALUE 0 qp->state 0
CAPPED_DATA 0 qp 1
CAPPED_DATA 0 qp->s_head 1
CAPPED_DATA 0 qp->s_rnr_timer.base 1
DATA_SOURCE 0 qp $0
BIT_INFO 0 qp->s_flags 0x0,0xffff001b
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq
LOCK2 0 &qp->r_lock
LOCK2 0 &qp->s_hlock
LOCK2 0 &qp->s_lock
TYPE_LOCK (struct rvt_qp)->r_lock
TYPE_LOCK (struct rvt_qp)->s_hlock
TYPE_LOCK (struct rvt_qp)->s_lock