Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/firewire/core-cdev.c ioctl_deallocate() -> release_client_resource()
| 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 | 3 | return_resource | 0 |
| BUF_SIZE | 0 | client | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | client | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | client | $0 |
| USER_DATA | 1 | handle | 0-u32max |
drivers/firewire/core-cdev.c ioctl_deallocate_iso_resource() -> release_client_resource()
| 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 | 3 | return_resource | 0 |
| BUF_SIZE | 0 | client | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | client | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | client | $0 |
| USER_DATA | 1 | handle | 0-u32max |
drivers/firewire/core-cdev.c ioctl_remove_descriptor() -> release_client_resource()
| 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 | 3 | return_resource | 0 |
| BUF_SIZE | 0 | client | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | client | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | client | $0 |
| USER_DATA | 1 | handle | 0-u32max |
drivers/firewire/core-cdev.c ioctl_send_response() -> release_client_resource()
| 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 | 3 | return_resource | 376047765579812864 |
| BUF_SIZE | 0 | client | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | client | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | client | $0 |
| USER_DATA | 1 | handle | 0-u32max |