Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/infiniband/hw/mlx5/qp.c destroy_qp_common() -> __mlx5_ib_cq_clean()

Type Parameter Key Value
PARAM_VALUE 0 cq 0,4096-ptr_max
PARAM_VALUE 0 cq->lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 srq 0,4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->reset_flow_resource_lock
LOCK2 flags
HALF_LOCKED2 &send_cq->lock
TYPE_LOCK (struct mlx5_ib_dev)->reset_flow_resource_lock

drivers/infiniband/hw/mlx5/qp.c destroy_qp_common() -> __mlx5_ib_cq_clean()

Type Parameter Key Value
PARAM_VALUE 0 cq 0,4096-ptr_max
PARAM_VALUE 0 cq->lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 srq 0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->reset_flow_resource_lock
LOCK2 flags
HALF_LOCKED2 0 &cq->lock
TYPE_LOCK (struct mlx5_ib_dev)->reset_flow_resource_lock

drivers/infiniband/hw/mlx5/cq.c mlx5_ib_cq_clean() -> __mlx5_ib_cq_clean()

Type Parameter Key Value
PARAM_VALUE 0 cq 4096-ptr_max
PARAM_VALUE 0 cq->lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 srq 0,4096-ptr_max
DATA_SOURCE 0 cq $0
DATA_SOURCE 1 rsn $1
DATA_SOURCE 2 srq $2
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &qp->mutex
LOCK2 irq
LOCK2 0 &cq->lock
HALF_LOCKED2 &ibqp->qp_sec->mutex
TYPE_LOCK (struct mlx5_ib_cq)->lock
TYPE_LOCK (struct mlx5_ib_qp)->mutex