Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/firewire/ohci-serdes-test.c test_at_data_serdes() -> ohci1394_at_data_set_destination_offset()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
BUF_SIZE 0 data 12
DATA_SOURCE 1 offset r ohci1394_at_data_get_destination_offset
NOCHECK_CALL

drivers/firewire/ohci.c at_context_queue_packet() -> ohci1394_at_data_set_destination_offset()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 1 offset 0-281474976710655
PREEMPT_ADD
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ohci->lock
LOCK2 flags
TYPE_LOCK (struct fw_ohci)->lock