Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/ocrdma/ocrdma_verbs.c ocrdma_poll_success_rcqe() -> ocrdma_update_ud_rcqe()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 ibwc 4096-ptr_max
PARAM_VALUE 1 ibwc->wc_flags 0
PARAM_VALUE 2 cqe 4096-ptr_max
PARAM_VALUE 2 cqe->flags_status_srcqpn 536870912-u32max
BUF_SIZE 1 ibwc (-1),288,576,720,2304,4608
BUF_SIZE 1 ibwc (-1),288,576,720,2304,4608
BUF_SIZE 1 ibwc->qp 624
DATA_SOURCE 0 dev r get_ocrdma_dev
DATA_SOURCE 1 ibwc $2
DATA_SOURCE 2 cqe $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &cq->cq_lock
LOCK2 flags
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct ocrdma_cq)->cq_lock