Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/hw/irdma/verbs.c _irdma_destroy_qp() -> irdma_clean_cqes()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iwqp | 4096-ptr_max |
| PARAM_VALUE | 0 | iwqp->dwork_flush.work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | iwqp->iwscq | 1-u64max |
| PARAM_VALUE | 0 | iwqp->sc_qp.qp_uk.destroy_pending | 1 |
| PARAM_VALUE | 0 | iwqp->user_mode | 0 |
| PARAM_VALUE | 1 | iwcq | 1-u64max |
| DATA_SOURCE | 0 | iwqp | r to_iwqp |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/infiniband/hw/irdma/verbs.c _irdma_destroy_qp() -> irdma_clean_cqes()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iwqp | 4096-ptr_max |
| PARAM_VALUE | 0 | iwqp->dwork_flush.work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | iwqp->iwscq | 4096-ptr_max |
| PARAM_VALUE | 0 | iwqp->iwscq->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | iwqp->iwscq->sc_cq.cq_uk.cq_base | 4096-ptr_max |
| PARAM_VALUE | 0 | iwqp->sc_qp.qp_uk.destroy_pending | 1 |
| PARAM_VALUE | 0 | iwqp->user_mode | 0 |
| DATA_SOURCE | 0 | iwqp | r to_iwqp |
| PARAM_COMPARE | 0 | iwqp->iwrcq | != $0->iwscq |
| PARAM_COMPARE | 1 | iwcq | != $0->iwscq |
| PARAM_COMPARE | 1 | iwcq | != $0->iwscq |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |