Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/firewire/core-transaction.c __fw_send_request() -> (union fw_transaction_callback)->without_tstamp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | card | 4096-ptr_max |
| PARAM_VALUE | 0 | card->driver->read_csr | 4096-ptr_max |
| PARAM_VALUE | 0 | card->transactions.current_tlabel | 0-63 |
| PARAM_VALUE | 1 | rcode | 16 |
| PARAM_VALUE | 2 | payload | 0 |
| PARAM_VALUE | 3 | length | 0 |
| PARAM_VALUE | 4 | data | 4096-ptr_max |
| BUF_SIZE | 4 | data | (-1),1-s32max |
| BUF_SIZE | 4 | data | (-1),1-s32max |
| CAPPED_DATA | 0 | card->transactions.current_tlabel | 1 |
| DATA_SOURCE | 0 | card | $0 |
| DATA_SOURCE | 4 | data | $11 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/firewire/core-transaction.c close_transaction() -> (union fw_transaction_callback)->without_tstamp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | card | 4096-ptr_max |
| PARAM_VALUE | 0 | card->driver->cancel_packet | 4096-ptr_max |
| PARAM_VALUE | 0 | card->driver->read_csr | 4096-ptr_max |
| PARAM_VALUE | 1 | rcode | 0,5-6,16-20 |
| PARAM_VALUE | 2 | payload | 0 |
| PARAM_VALUE | 3 | length | 0 |
| BUF_SIZE | 4 | data | 1-s32max |
| CAPPED_DATA | 0 | &card->transactions.list | 1 |
| DATA_SOURCE | 0 | card | $1 |
| DATA_SOURCE | 1 | rcode | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/firewire/core-transaction.c fw_cancel_pending_transactions() -> (union fw_transaction_callback)->without_tstamp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | card | 4096-ptr_max |
| PARAM_VALUE | 0 | card->async_wq | 4096-ptr_max |
| PARAM_VALUE | 0 | card->async_wq->flags | 0-4294967295 |
| PARAM_VALUE | 0 | card->async_wq->flush_color | s32min-s32max |
| PARAM_VALUE | 0 | card->async_wq->nr_drainers | s32min-s32max |
| PARAM_VALUE | 0 | card->async_wq->nr_pwqs_to_flush.counter | s32min-s32max |
| PARAM_VALUE | 0 | card->async_wq->work_color | s32min-s32max |
| PARAM_VALUE | 0 | card->br_short | 1 |
| PARAM_VALUE | 0 | card->br_work.timer.entry->pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | card->done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | card->done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | card->done.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | card->driver | 7545871689603457024 |
| PARAM_VALUE | 0 | card->driver->disable | 0,654534902965772288 |
| PARAM_VALUE | 0 | card->driver->free_iso_context | 0,1803801919160545280 |
| PARAM_VALUE | 0 | card->driver->stop_iso | 0,1488337541166690304 |
| PARAM_VALUE | 0 | card->isoc_wq | 4096-ptr_max |
| PARAM_VALUE | 0 | card->isoc_wq->flags | 0-4294967295 |
| PARAM_VALUE | 0 | card->isoc_wq->flush_color | s32min-s32max |
| PARAM_VALUE | 0 | card->isoc_wq->nr_drainers | s32min-s32max |
| PARAM_VALUE | 0 | card->isoc_wq->nr_pwqs_to_flush.counter | s32min-s32max |
| PARAM_VALUE | 0 | card->isoc_wq->work_color | s32min-s32max |
| PARAM_VALUE | 0 | card->link.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | card->link.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | *card->async_wq->lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | *card->isoc_wq->lockdep_map->name | 0-255 |
| PARAM_VALUE | 1 | rcode | 17 |
| PARAM_VALUE | 2 | payload | 0 |
| PARAM_VALUE | 3 | length | 0 |
| BUF_SIZE | 0 | card->driver | 152 |
| BUF_SIZE | 4 | data | 1-s32max |
| CAPPED_DATA | 0 | &card->transactions.list | 1 |
| DATA_SOURCE | 0 | card | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | _T->lock |
drivers/firewire/core-transaction.c fw_core_handle_response() -> (union fw_transaction_callback)->without_tstamp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | card | 4096-ptr_max |
| PARAM_VALUE | 0 | card->driver | 4096-ptr_max |
| PARAM_VALUE | 1 | rcode | 0-15 |
| PARAM_VALUE | 3 | length | 0-u16max |
| BUF_SIZE | 2 | payload | 0-s32max |
| BUF_SIZE | 4 | data | 1-s32max |
| CAPPED_DATA | 0 | &card->transactions.list | 1 |
| DATA_SOURCE | 0 | card | $0 |
| DATA_SOURCE | 1 | rcode | r async_header_get_rcode |
| FUZZY_MAX | 3 | length | 4 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/firewire/core-transaction.c split_transaction_timeout_callback() -> (union fw_transaction_callback)->without_tstamp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | card | 4096-ptr_max |
| PARAM_VALUE | 1 | rcode | 17 |
| PARAM_VALUE | 2 | payload | 0 |
| PARAM_VALUE | 3 | length | 0 |
| BUF_SIZE | 4 | data | 1-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |