Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/hw/mlx4/mad.c mlx4_ib_tunnel_comp_worker() -> mlx4_ib_multiplex_mad()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->cq | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->cq->device | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->cq->device->ops.poll_cq | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->cq->device->ops.req_notify_cq | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->qp | 4096-ptr_max |
| PARAM_VALUE | 1 | wc | 8417997883992530944 |
| PARAM_VALUE | 1 | wc->opcode | 128 |
| PARAM_VALUE | 1 | wc->status | 0 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |