Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/mlx4/cq.c mlx4_ib_poll_sw_comp() -> mlx4_ib_qp_sw_comp()

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 1 num_entries 0-16,32,64
PARAM_VALUE 2 wc 4096-ptr_max
PARAM_VALUE 3 npolled 3905451417601228800
PARAM_VALUE 3 *npolled 0-63
PARAM_VALUE 4 is_send 1
CAPPED_DATA 0 &qp->cq_send_list 1
CAPPED_DATA 1 num_entries 1
CAPPED_DATA 3 *npolled 1
DATA_SOURCE 1 num_entries $1
DATA_SOURCE 3 npolled $3
FUZZY_MAX 3 *npolled 0
PARAM_COMPARE 3 *npolled <= $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &cq->lock
LOCK2 flags
TYPE_LOCK (struct mlx4_ib_cq)->lock

drivers/infiniband/hw/mlx4/cq.c mlx4_ib_poll_sw_comp() -> mlx4_ib_qp_sw_comp()

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 1 num_entries 0-16,32,64
PARAM_VALUE 2 wc 4096-ptr_max
PARAM_VALUE 3 npolled 3905451417601228800
PARAM_VALUE 3 *npolled 0-63
PARAM_VALUE 4 is_send 0
CAPPED_DATA 0 &qp->cq_recv_list 1
CAPPED_DATA 1 num_entries 1
CAPPED_DATA 3 *npolled 1
DATA_SOURCE 1 num_entries $1
DATA_SOURCE 3 npolled $3
PARAM_COMPARE 3 *npolled <= $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &cq->lock
LOCK2 flags
TYPE_LOCK (struct mlx4_ib_cq)->lock