Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/firewire/core-transaction.c close_transaction() -> remove_transaction_entry()
| 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 | entry | 4096-ptr_max |
| CAPPED_DATA | 0 | &card->transactions.list | 1 |
| DATA_SOURCE | 0 | card | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | irq | ||
| LOCK2 | 0 | &card->transactions.lock | |
| TYPE_LOCK | (struct fw_card)->transactions.lock |
drivers/firewire/core-transaction.c fw_core_handle_response() -> remove_transaction_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | card | 4096-ptr_max |
| PARAM_VALUE | 1 | entry | 4096-ptr_max |
| PARAM_VALUE | 1 | entry->node_id | 0-u16max |
| PARAM_VALUE | 1 | entry->tlabel | 0-63 |
| CAPPED_DATA | 0 | &card->transactions.list | 1 |
| CAPPED_DATA | 1 | entry->node_id | 1 |
| CAPPED_DATA | 1 | entry->tlabel | 1 |
| DATA_SOURCE | 0 | card | $0 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | irq | ||
| LOCK2 | 0 | &card->transactions.lock | |
| TYPE_LOCK | (struct fw_card)->transactions.lock |
drivers/firewire/core-transaction.c split_transaction_timeout_callback() -> remove_transaction_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | entry | 4096-ptr_max |
| CAPPED_DATA | 1 | &entry->link | 1 |
| PARAM_COMPARE | 1 | &entry->link | != $1->link.next |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | irq | ||
| LOCK2 | 0 | &card->transactions.lock | |
| TYPE_LOCK | (struct fw_card)->transactions.lock |