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_free_srq_cqe()

Type Parameter Key Value
PARAM_VALUE 0 ibwc 4096-ptr_max
PARAM_VALUE 0 ibwc->byte_len 0-8191
PARAM_VALUE 0 ibwc->opcode 128-129
PARAM_VALUE 0 ibwc->qp 4096-ptr_max
PARAM_VALUE 0 ibwc->status 0
PARAM_VALUE 0 ibwc->wc_flags 0-5,65,67,69
PARAM_VALUE 1 cqe 4096-ptr_max
PARAM_VALUE 1 cqe->flags_status_srcqpn 536870912-u32max
PARAM_VALUE 1 cqe->rq.lkey_immdt 0
PARAM_VALUE 1 cqe->rq.rxlen 0
PARAM_VALUE 2 qp 4096-ptr_max
PARAM_VALUE 2 qp->ibqp.srq 1-u64max
BUF_SIZE 0 ibwc (-1),288,576,720,2304,4608
BUF_SIZE 0 ibwc (-1),288,576,720,2304,4608
BUF_SIZE 0 ibwc->qp 624
DATA_SOURCE 0 ibwc $2
DATA_SOURCE 1 cqe $1
DATA_SOURCE 2 qp $0
FUZZY_MAX 0 ibwc->opcode 129
BIT_INFO 0 ibwc->opcode 0x80,0x81
HARD_MAX 0 ibwc->opcode 129
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