Defined in 1 files as a prototype:
Defined in 2 files as a function:
- drivers/infiniband/core/core_priv.h, line 301 (as a function)
- drivers/infiniband/core/security.c, line 727 (as a function)
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/core/mad.c ib_register_mad_agent() -> ib_mad_agent_security_cleanup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | agent | 4096-ptr_max |
| PARAM_VALUE | 0 | agent->context | 0,4096-ptr_max |
| PARAM_VALUE | 0 | agent->device | 4096-ptr_max |
| PARAM_VALUE | 0 | agent->flags | 0 |
| PARAM_VALUE | 0 | agent->qp | 1-u64max |
| PARAM_VALUE | 0 | agent->rmpp_version | 0-1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | agent->flags | 0 |
| USER_DATA | 0 | agent->rmpp_version | 0 |
| HALF_LOCKED2 | &dev->cmd.poll_sem | ||
| HALF_LOCKED2 | &device->client_data_rwsem | ||
| HALF_LOCKED2 | &file->mutex | ||
| HALF_LOCKED2 | &file->port->file_mutex | ||
| HALF_LOCKED2 | global &clients_rwsem | ||
| HALF_LOCKED2 | global &devices_rwsem | ||
| HALF_LOCKED2 | global &mthca_device_mutex |
drivers/infiniband/core/mad.c unregister_mad_agent() -> ib_mad_agent_security_cleanup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | agent | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->cmd.poll_sem | ||
| HALF_LOCKED2 | &device->client_data_rwsem | ||
| HALF_LOCKED2 | &file->port->file_mutex | ||
| HALF_LOCKED2 | &ib_device->client_data_rwsem | ||
| HALF_LOCKED2 | &port->file_mutex | ||
| HALF_LOCKED2 | global &clients_rwsem | ||
| HALF_LOCKED2 | global &devices_rwsem | ||
| HALF_LOCKED2 | global &mthca_device_mutex |