Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/ionic/ionic_datapath.c ionic_poll_vcq_cq() -> ionic_reserve_sync_cq()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 cq 4096-ptr_max
PARAM_VALUE 1 cq->credit s32min-0
CAPPED_DATA 1 &cq->poll_sq 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 cq $1
FUZZY_MAX 1 cq->credit 0
HARD_MAX 1 cq->credit 0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irqflags
LOCK2 1 &cq->lock
TYPE_LOCK (struct ionic_cq)->lock

drivers/infiniband/hw/ionic/ionic_datapath.c ionic_req_notify_vcq_cq() -> ionic_reserve_sync_cq()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 cq 4096-ptr_max
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 cq $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &device->client_data_rwsem
HALF_LOCKED2 global &clients_rwsem
HALF_LOCKED2 global &devices_rwsem

drivers/infiniband/hw/ionic/ionic_datapath.c ionic_reserve_cq() -> ionic_reserve_sync_cq()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 cq 4096-ptr_max
PARAM_VALUE 1 cq->credit s32min-0
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 cq $1
FUZZY_MAX 1 cq->credit 0
HARD_MAX 1 cq->credit 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irqflags
LOCK2 1 &cq->lock
HALF_LOCKED2 &qp->rq_lock
HALF_LOCKED2 &qp->sq_lock
TYPE_LOCK (struct ionic_cq)->lock