Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/firewire/core-cdev.c ioctl_allocate() -> release_address_handler()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | client | 4096-ptr_max |
| PARAM_VALUE | 0 | client->device | 4096-ptr_max |
| PARAM_VALUE | 0 | client->device->state.counter | s32min-2,4-s32max |
| PARAM_VALUE | 1 | resource | 4096-ptr_max |
| PARAM_VALUE | 1 | resource->release | 1367698176531443712 |
| BUF_SIZE | 0 | client | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | client | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | client | $0 |
| NOCHECK_CALL |
drivers/firewire/core-cdev.c fw_device_op_release() -> (struct client_resource)->release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | client | 4096-ptr_max |
| PARAM_VALUE | 0 | client->buffer.pages | 0 |
| PARAM_VALUE | 0 | client->in_shutdown | 1 |
| PARAM_VALUE | 0 | client->iso_context | 0,4096-ptr_max |
| PARAM_VALUE | 0 | client->iso_context->card | 4096-ptr_max |
| PARAM_VALUE | 0 | client->iso_context->card->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | client->iso_context->card->driver->free_iso_context | 4096-ptr_max |
| PARAM_VALUE | 0 | client->iso_context_mutex.magic | 0 |
| PARAM_VALUE | 0 | client->tx_flush_wait.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | resource | 4096-ptr_max |
| BUF_SIZE | 0 | client | (-1),26 |
| BUF_SIZE | 0 | client | (-1),26 |
| CONTAINER | 1 | -0+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | _T->lock |
drivers/firewire/core-cdev.c release_client_resource() -> (struct client_resource)->release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | client | 4096-ptr_max |
| PARAM_VALUE | 0 | client->device | 4096-ptr_max |
| PARAM_VALUE | 0 | client->device->state.counter | s32min-2,4-s32max |
| PARAM_VALUE | 0 | client->in_shutdown | 0 |
| PARAM_VALUE | 0 | client->resource_xa.xa_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | resource | 4096-ptr_max |
| BUF_SIZE | 0 | client | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | client | s32min-(-2),1-s32max |
| CAPPED_DATA | 1 | resource->release | 1 |
| DATA_SOURCE | 0 | client | $0 |
| DATA_SOURCE | 1 | resource | r xa_load |
| CONTAINER | 1 | -0+0 | $(-1) |
| NOCHECK_CALL |