Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/core/security.c ib_close_shared_qp_security() -> destroy_qp_security()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sec | 4096-ptr_max |
| PARAM_VALUE | 0 | sec->qp | 4096-ptr_max |
| PARAM_VALUE | 0 | sec->qp->real_qp | 4096-ptr_max |
| DATA_SOURCE | 0 | sec | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | sec->qp->qp_type | 2-4,8,255 |
| NO_OVERFLOW_SIMPLE | 0 | sec->dev->hw_stats_attr_index | |
| NO_OVERFLOW_SIMPLE | 0 | sec->dev->num_comp_vectors | |
| NO_OVERFLOW_SIMPLE | 0 | sec->dev->phys_port_cnt | |
| HALF_LOCKED2 | &xrcd->tgt_qps_rwsem |
drivers/infiniband/core/security.c ib_destroy_qp_security_end() -> destroy_qp_security()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sec | 4096-ptr_max |
| PARAM_VALUE | 0 | sec->destroying | 1 |
| PARAM_VALUE | 0 | sec->ports_pkeys | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sec->ports_pkeys->alt.state | 1 |
| PARAM_VALUE | 0 | sec->ports_pkeys->main.state | 1 |
| CAPPED_DATA | 0 | sec->error_comps_pending | 1 |
| DATA_SOURCE | 0 | sec | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/infiniband/core/security.c ib_open_shared_qp_security() -> destroy_qp_security()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sec | 1-u64max |
| STR_LEN | 0 | sec->dev | (-1) |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | sec->dev->hw_stats_attr_index | |
| NO_OVERFLOW_SIMPLE | 0 | sec->dev->num_comp_vectors | |
| NO_OVERFLOW_SIMPLE | 0 | sec->dev->phys_port_cnt | |
| HALF_LOCKED2 | &xrcd->tgt_qps_rwsem |