Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/core/counters.c rdma_counter_bind_qp_auto() -> rdma_get_counter_auto_mode()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | qp | 4096-ptr_max |
| PARAM_VALUE | 0 | qp->counter | 0 |
| PARAM_VALUE | 0 | qp->device | 4096-ptr_max |
| PARAM_VALUE | 0 | qp->device->port_data | 4096-ptr_max |
| PARAM_VALUE | 0 | qp->res.no_track | 0 |
| PARAM_VALUE | 0 | qp->res.user | 1 |
| PARAM_VALUE | 0 | qp->xrcd->tgt_qps_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | qp->xrcd->tgt_qps_rwsem.first_waiter->type | 0-1 |
| CAPPED_DATA | 1 | port | 1 |
| DATA_SOURCE | 0 | qp | $0 |
| DATA_SOURCE | 1 | port | $1 |
| NOSPEC | 1 | port | |
| NOSPEC | 1 | port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | qp->port | 0-255 |
| USER_DATA | 1 | port | 0-255[c] |
| UNITS | 1 | port | unit_array_size |