Defined in 3 files as a function:
- drivers/infiniband/hw/mlx4/cq.c, line 554 (as a function)
- drivers/infiniband/hw/mlx5/cq.c, line 274 (as a function)
- drivers/infiniband/hw/mthca/mthca_cq.c, line 189 (as a function)
Referenced in 3 files:
- drivers/infiniband/hw/mlx4/cq.c, line 574
- drivers/infiniband/hw/mlx5/cq.c, line 342
- drivers/infiniband/hw/mthca/mthca_cq.c
Smatch caller information:
drivers/infiniband/hw/mlx5/cq.c mlx5_handle_error_cqe() -> dump_cqe()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cqe | 4096-ptr_max |
| PARAM_VALUE | 1 | cqe_ptr | 4096-ptr_max |
| PARAM_VALUE | 1 | cqe_ptr->syndrome | 0-4,6-20,23-255 |
| PARAM_VALUE | 2 | wc | 4096-ptr_max |
| PARAM_VALUE | 2 | wc->status | 1-2,4,6-11,16,21 |
| PARAM_VALUE | 2 | wc->vendor_err | 0-255 |
| PARAM_VALUE | 3 | level | 1110528587034095616,7930184486994051072 |
| BUF_SIZE | 2 | wc->qp | 624 |
| BUF_SIZE | 3 | level | 3 |
| BUF_SIZE | 3 | level | 3 |
| DATA_SOURCE | 0 | cqe | $0 |
| DATA_SOURCE | 1 | cqe_ptr | $1 |
| DATA_SOURCE | 2 | wc | $2 |
| FUZZY_MAX | 2 | wc->status | 21 |
| STR_LEN | 0 | cqe | 2 |
| STR_LEN | 3 | level | 2 |
| BIT_INFO | 3 | level | 0xe0920c426100000,0x6f6defdff79d7000 |
| BIT_INFO | 3 | level | 0xe0920c426100000,0x6f6defdff79d7000 |
| TERMINATED | 3 | level | 1 |
| HARD_MAX | 2 | wc->status | 21 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &cq->lock | ||
| LOCK2 | flags | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct mlx5_ib_cq)->lock |
drivers/infiniband/hw/mlx4/cq.c mlx4_ib_handle_error_cqe() -> dump_cqe()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cqe | 4096-ptr_max |
| DATA_SOURCE | 0 | cqe | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &cq->lock | ||
| LOCK2 | flags | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct mlx4_ib_cq)->lock |
drivers/infiniband/hw/mthca/mthca_cq.c handle_error_cqe() -> dump_cqe()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cqe | 4096-ptr_max |
| PARAM_VALUE | 1 | cqe_ptr | 4096-ptr_max |
| DATA_SOURCE | 0 | cqe | $0 |
| DATA_SOURCE | 1 | cqe_ptr | $5 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &cq->lock | ||
| LOCK2 | flags | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct mthca_cq)->lock |