Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/ionic/ionic_datapath.c ionic_prep_recv() -> ionic_prep_rq_wqe()

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 0 qp->has_rq 1
PARAM_VALUE 0 qp->rq_meta_head 0,3-u64max
PARAM_VALUE 0 qp->state 1-u32max
PARAM_VALUE 1 wqe 4096-ptr_max
DATA_SOURCE 0 qp $0
DATA_SOURCE 1 wqe r ionic_queue_at_prod
FUZZY_MAX 0 qp->state 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irqflags
LOCK2 0 &qp->rq_lock
HALF_LOCKED2 &rdma->rq_sem
TYPE_LOCK (struct ionic_qp)->rq_lock