Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/erdma/erdma_verbs.c erdma_create_cq() -> erdma_init_kernel_cq()

Type Parameter Key Value
PARAM_VALUE 0 cq 4096-ptr_max
PARAM_VALUE 0 cq->free.done 0
PARAM_VALUE 0 cq->free.wait.lock.magic 3735899821
PARAM_VALUE 0 cq->free.wait.lock.owner (-1)
PARAM_VALUE 0 cq->free.wait.lock.owner_cpu u32max
PARAM_VALUE 0 cq->free.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 cq->free.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 cq->free.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 cq->free.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 cq->free.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 cq->refcount.refs.counter 1
CAPPED_DATA 0 cq 1
CAPPED_DATA 0 cq->depth 1
CAPPED_DATA 0 cq->ibcq.cqe 1
DATA_SOURCE 0 cq r to_ecq
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 cq->assoc_eqn 1-2147483648[c]