Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/firewire/core-transaction.c fw_cancel_transaction() -> (struct fw_card_driver)->cancel_packet()

Type Parameter Key Value
PARAM_VALUE 0 card 4096-ptr_max
PARAM_VALUE 0 card->driver 4096-ptr_max
PARAM_VALUE 0 card->driver->cancel_packet 4096-ptr_max
PARAM_VALUE 1 packet 4096-ptr_max
DATA_SOURCE 0 card $0
CONTAINER 0 -56-0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

drivers/firewire/core-transaction.c fw_core_handle_response() -> (struct fw_card_driver)->cancel_packet()

Type Parameter Key Value
PARAM_VALUE 0 card 4096-ptr_max
PARAM_VALUE 0 card->driver 4096-ptr_max
PARAM_VALUE 1 packet 4096-ptr_max
CAPPED_DATA 0 &card->transactions.list 1
DATA_SOURCE 0 card $0
CONTAINER 0 -56-0+0 $(-1)
TASK_NOT_RUNNING
NOCHECK_CALL