Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/irdma/verbs.c __irdma_poll_cq() -> irdma_process_resize_list()

Type Parameter Key Value
PARAM_VALUE 0 iwcq 4096-ptr_max
PARAM_VALUE 0 iwcq->sc_cq.cq_uk.cq_base 4096-ptr_max
PARAM_VALUE 1 iwdev 4096-ptr_max
PARAM_VALUE 2 lcqe_buf 0
CAPPED_DATA 0 &iwcq->resize_list 1
DATA_SOURCE 0 iwcq $0
DATA_SOURCE 1 iwdev r to_iwdev
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 0 &iwcq->lock
TYPE_LOCK (struct irdma_cq)->lock

drivers/infiniband/hw/irdma/verbs.c __irdma_poll_cq() -> irdma_process_resize_list()

Type Parameter Key Value
PARAM_VALUE 0 iwcq 4096-ptr_max
PARAM_VALUE 1 iwdev 4096-ptr_max
PARAM_VALUE 2 lcqe_buf 4096-ptr_max
PARAM_VALUE 2 lcqe_buf->cq_uk.cq_base 4096-ptr_max
CAPPED_DATA 0 &iwcq->resize_list 1
DATA_SOURCE 0 iwcq $0
DATA_SOURCE 1 iwdev r to_iwdev
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 0 &iwcq->lock
TYPE_LOCK (struct irdma_cq)->lock

drivers/infiniband/hw/irdma/verbs.c irdma_destroy_cq() -> irdma_process_resize_list()

Type Parameter Key Value
PARAM_VALUE 0 iwcq 4096-ptr_max
PARAM_VALUE 0 iwcq->cmpl_generated.next 4096-ptr_max
PARAM_VALUE 1 iwdev 4096-ptr_max
PARAM_VALUE 2 lcqe_buf 0
CAPPED_DATA 0 &iwcq->cmpl_generated 1
CAPPED_DATA 0 &iwcq->resize_list 1
DATA_SOURCE 0 iwcq r to_iwcq
DATA_SOURCE 1 iwdev r to_iwdev
PARAM_COMPARE 0 &iwcq->resize_list != $0->resize_list.next
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &iwcq->lock
TYPE_LOCK (struct irdma_cq)->lock