Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/core/cq.c ib_cq_poll_work() -> __ib_process_cq()

Type Parameter Key Value
PARAM_VALUE 0 cq 4096-ptr_max
PARAM_VALUE 1 budget 65536
PARAM_VALUE 3 batch 16
HALF_LOCKED2 &pool->lock

drivers/infiniband/core/cq.c ib_poll_handler() -> __ib_process_cq()

Type Parameter Key Value
PARAM_VALUE 0 cq 4096-ptr_max
PARAM_VALUE 3 batch 16
DATA_SOURCE 1 budget $1

drivers/infiniband/core/cq.c ib_process_cq_direct() -> __ib_process_cq()

Type Parameter Key Value
PARAM_VALUE 2 wcs 4713899881794600960
PARAM_VALUE 3 batch 8
BUF_SIZE 2 wcs 576
DATA_SOURCE 0 cq $0
DATA_SOURCE 1 budget $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ch->lock
HALF_LOCKED2 irq
HALF_LOCKED2 rcu_read