Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/infiniband/hw/irdma/puda.c irdma_puda_create_rsrc() -> irdma_sc_ccq_arm()

Type Parameter Key Value
PARAM_VALUE 0 ccq 4096-ptr_max
PARAM_VALUE 0 ccq->ceq_id 0
PARAM_VALUE 0 ccq->ceq_id_valid 1
PARAM_VALUE 0 ccq->ceqe_mask 1
PARAM_VALUE 0 ccq->cq_type 1-3
PARAM_VALUE 0 ccq->cq_uk.cq_base 1-ptr_max
PARAM_VALUE 0 ccq->cq_uk.cq_id 1-2
PARAM_VALUE 0 ccq->cq_uk.cq_size 0-98304
PARAM_VALUE 0 ccq->cq_uk.polarity 1
PARAM_VALUE 0 ccq->shadow_read_threshold 0-24576
PARAM_VALUE 0 ccq->tph_en 0
PARAM_VALUE 0 ccq->tph_val 0
PARAM_VALUE 0 ccq->vsi 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/irdma/hw.c irdma_cqp_ce_handler() -> irdma_sc_ccq_arm()

Type Parameter Key Value
PARAM_VALUE 0 ccq 4096-ptr_max
BUF_SIZE 0 ccq (-1),136
BUF_SIZE 0 ccq (-1),136
DATA_SOURCE 0 ccq $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/irdma/hw.c irdma_ctrl_init_hw() -> irdma_sc_ccq_arm()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/irdma/hw.c irdma_puda_ce_handler() -> irdma_sc_ccq_arm()

Type Parameter Key Value
PARAM_VALUE 0 ccq 4096-ptr_max
PARAM_VALUE 0 ccq->cq_uk.cq_ack_db 4096-ptr_max
DATA_SOURCE 0 ccq $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->puda_cq_lock
LOCK2 irq
HALF_LOCKED2 bh
TYPE_LOCK (struct irdma_sc_dev)->puda_cq_lock