Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/firewire/core-cdev.c ioctl_get_info() -> fill_bus_reset_event()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | event | 3147410585865093120 |
| PARAM_VALUE | 1 | client | 4096-ptr_max |
| PARAM_VALUE | 1 | client->device | 4096-ptr_max |
| PARAM_VALUE | 1 | client->device->card | 4096-ptr_max |
| PARAM_VALUE | 1 | client->device->state.counter | s32min-2,4-s32max |
| BUF_SIZE | 1 | client | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | client | s32min-(-2),1-s32max |
| DATA_SOURCE | 1 | client | $0 |
| NOCHECK_CALL | |||
| USER_DATA | 1 | client->bus_reset_closure | 0-u64max |
| USER_DATA | 1 | client->version | 0-u32max |
| LOCK2 | _T->lock |
drivers/firewire/core-cdev.c queue_bus_reset_event() -> fill_bus_reset_event()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | event | 4096-ptr_max |
| PARAM_VALUE | 1 | client | 4096-ptr_max |
| DATA_SOURCE | 1 | client | $0 |
| NOCHECK_CALL | |||
| LOCK2 | &pool->lock | ||
| LOCK2 | _T->lock |