Defined in 1 files as a prototype:
Defined in 2 files as a function:
- drivers/infiniband/core/core_priv.h, line 281 (as a function)
- drivers/infiniband/core/security.c, line 521 (as a function)
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/core/verbs.c ib_destroy_qp_user() -> ib_destroy_qp_security_end()
| 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 | 0-1,3-u32max |
| PARAM_VALUE | 0 | sec->ports_pkeys->main.state | 0-1,3-u32max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |