Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/firewire/core-cdev.c complete_transaction() -> client_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | client | 4096-ptr_max |
| PARAM_VALUE | 0 | client->resource_xa.xa_lock.rlock.dep_map->name | 0-255 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | _T->lock |
drivers/firewire/core-cdev.c fw_device_op_release() -> client_put()
| 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 |
| BUF_SIZE | 0 | client | (-1),26 |
| BUF_SIZE | 0 | client | (-1),26 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | _T->lock |
drivers/firewire/core-cdev.c fw_device_op_release() -> client_put()
| 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->resource_xa.xa_head | 0 |
| PARAM_VALUE | 0 | client->tx_flush_wait.lock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | client | (-1),26 |
| BUF_SIZE | 0 | client | (-1),26 |
| CAPPED_DATA | 0 | &client->event_list | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | _T->lock |
drivers/firewire/core-cdev.c iso_resource_auto_work() -> client_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | client | 4096-ptr_max |
| PARAM_VALUE | 0 | client->device | 4096-ptr_max |
| PARAM_VALUE | 0 | client->device->card | 4096-ptr_max |
| PARAM_VALUE | 0 | client->device->card->irm_node | 4096-ptr_max |
| PARAM_VALUE | 0 | client->in_shutdown | 0 |
| PARAM_VALUE | 0 | client->resource_xa.xa_lock.rlock.dep_map->name | 0-255 |
| NOCHECK_CALL | |||
| LOCK2 | irq | ||
| LOCK2 | 0 | &client->lock | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct client)->lock |
drivers/firewire/core-cdev.c iso_resource_auto_work() -> client_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | client | 4096-ptr_max |
| PARAM_VALUE | 0 | client->device | 4096-ptr_max |
| PARAM_VALUE | 0 | client->device->card | 4096-ptr_max |
| PARAM_VALUE | 0 | client->event_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | client->event_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | client->event_list.prev->next->next | 4096-ptr_max |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/firewire/core-cdev.c iso_resource_once_work() -> client_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | client | 4096-ptr_max |
| PARAM_VALUE | 0 | client->device | 4096-ptr_max |
| PARAM_VALUE | 0 | client->device->card | 4096-ptr_max |
| PARAM_VALUE | 0 | client->device->card->irm_node | 4096-ptr_max |
| PARAM_VALUE | 0 | client->event_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | client->event_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | client->event_list.prev->next->next | 4096-ptr_max |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/firewire/core-cdev.c outbound_phy_packet_callback() -> client_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/firewire/core-cdev.c release_client_resource() -> client_put()
| 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 |
| 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 schedule_iso_resource_auto() -> client_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | client | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &client->lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | irq |