Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/mlx5/qp.c handle_drain_completion() -> (struct mlx5_core_cq)->comp()

Type Parameter Key Value
PARAM_VALUE 0 mcq 4096-ptr_max
PARAM_VALUE 0 mcq->reset_notify_added s32min-(-1),1-s32max
PARAM_VALUE 1 eqe 0
CONTAINER 0 -136+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/net/ethernet/mellanox/mlx5/core/eq.c mlx5_eq_comp_int() -> (struct mlx5_core_cq)->comp()

Type Parameter Key Value
PARAM_VALUE 0 mcq 4096-ptr_max
PARAM_VALUE 1 eqe 4096-ptr_max
DATA_SOURCE 0 mcq r mlx5_eq_cq_get
DATA_SOURCE 1 eqe r next_eqe_sw
CONTAINER 0 -136+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->lock

drivers/infiniband/hw/mlx5/main.c mlx5_ib_handle_internal_error() -> (struct mlx5_core_cq)->comp()

Type Parameter Key Value
PARAM_VALUE 0 mcq 4096-ptr_max
PARAM_VALUE 1 eqe 0
CONTAINER 0 -136+0 $(-1)
NOCHECK_CALL
LOCK2 &ibdev->reset_flow_resource_lock
LOCK2 flags
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct mlx5_ib_dev)->reset_flow_resource_lock