Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/firewire/core-cdev.c fw_send_request_with_tstamp() -> __fw_send_request()

Type Parameter Key Value
PARAM_VALUE 1 t 4096-ptr_max
PARAM_VALUE 2 tcode 0-1,4-5,10,17-23
PARAM_VALUE 8 length 0-3999632
PARAM_VALUE 10 with_tstamp 1
PARAM_VALUE 11 callback_data 4096-ptr_max
BUF_SIZE 11 callback_data 368-s32max
BUF_SIZE 11 callback_data 368-s32max
CAPPED_DATA 8 length 1
CAPPED_DATA 8 length 1
DATA_SOURCE 0 card $0
DATA_SOURCE 1 t $1
DATA_SOURCE 2 tcode $2
DATA_SOURCE 3 destination_id $3
DATA_SOURCE 4 generation $4
DATA_SOURCE 5 speed $5
DATA_SOURCE 6 offset $6
DATA_SOURCE 7 payload $7
DATA_SOURCE 8 length $8
DATA_SOURCE 11 callback_data $10
NOSPEC 8 length
NOSPEC 8 length
NOCHECK_CALL
USER_DATA 2 tcode 0-1,4-5,17-23
USER_DATA 3 destination_id 0-u16max[c]
USER_DATA 4 generation s32min-s32max
USER_DATA 5 speed 1-s32max[c]
USER_DATA 6 offset 0-u64max
USER_DATA 7 *payload s64min-s64max
USER_DATA 8 length 0-3999632[c]
UNITS 8 length unit_byte
USER_PTR 7 payload

sound/firewire/tascam/tascam-transaction.c fw_send_request() -> __fw_send_request()

Type Parameter Key Value
PARAM_VALUE 1 t 4096-ptr_max
PARAM_VALUE 2 tcode 0
PARAM_VALUE 6 offset 281470681759744
PARAM_VALUE 7 *payload 0-255
PARAM_VALUE 8 length 4
PARAM_VALUE 10 with_tstamp 0
PARAM_VALUE 11 callback_data 4096-ptr_max
BUF_SIZE 7 payload 4
BUF_SIZE 7 payload 4
DATA_SOURCE 0 card $0
DATA_SOURCE 1 t $1
DATA_SOURCE 2 tcode $2
DATA_SOURCE 3 destination_id $3
DATA_SOURCE 4 generation $4
DATA_SOURCE 5 speed $5
DATA_SOURCE 6 offset $6
DATA_SOURCE 7 payload $7
DATA_SOURCE 8 length $8
DATA_SOURCE 11 callback_data $10
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/firewire/sbp2.c fw_send_request() -> __fw_send_request()

Type Parameter Key Value
PARAM_VALUE 1 t 4096-ptr_max
PARAM_VALUE 2 tcode 0-1
PARAM_VALUE 7 payload 5992664200703000576,7474354137813725184
PARAM_VALUE 8 length 4,8
PARAM_VALUE 10 with_tstamp 0
PARAM_VALUE 11 callback_data 4096-ptr_max
BUF_SIZE 1 t (-1),264
BUF_SIZE 1 t (-1),264
BUF_SIZE 7 payload 4,8
BUF_SIZE 7 payload 4,8
BUF_SIZE 11 callback_data (-1),264
BUF_SIZE 11 callback_data (-1),264
DATA_SOURCE 0 card $0
DATA_SOURCE 1 t $1
DATA_SOURCE 2 tcode $2
DATA_SOURCE 3 destination_id $3
DATA_SOURCE 4 generation $4
DATA_SOURCE 5 speed $5
DATA_SOURCE 6 offset $6
DATA_SOURCE 7 payload $7
DATA_SOURCE 8 length $8
DATA_SOURCE 11 callback_data $10
HARD_MAX 2 tcode 1
HARD_MAX 8 length 8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 6 offset

drivers/firewire/core-transaction.c fw_send_request() -> __fw_send_request()

Type Parameter Key Value
PARAM_VALUE 0 card->driver->read_csr 4096-ptr_max
PARAM_VALUE 1 t 567536391778893824
PARAM_VALUE 1 t->split_timeout_timer.entry.pprev 0
PARAM_VALUE 1 t->split_timeout_timer.flags 0-4194302
PARAM_VALUE 2 tcode 0-1,4-5,18
PARAM_VALUE 8 length 0-s32max,18446744071562067968-u64max
PARAM_VALUE 10 with_tstamp 0
PARAM_VALUE 11 callback_data 6102043025779621888
BUF_SIZE 7 payload (-1)-s32max
BUF_SIZE 7 payload (-1)-s32max
BUF_SIZE 11 callback_data 112
BUF_SIZE 11 callback_data 112
CAPPED_DATA 8 length 1
CAPPED_DATA 8 length 1
DATA_SOURCE 0 card $0
DATA_SOURCE 1 t $1
DATA_SOURCE 2 tcode $2
DATA_SOURCE 3 destination_id $3
DATA_SOURCE 4 generation $4
DATA_SOURCE 5 speed $5
DATA_SOURCE 6 offset $6
DATA_SOURCE 7 payload $7
DATA_SOURCE 8 length $8
DATA_SOURCE 11 callback_data $10
FUZZY_MAX 2 tcode 5
FUZZY_MAX 8 length 36
NOSPEC 8 length
NOSPEC 8 length
HARD_MAX 2 tcode 18
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 8 length 0,24-4604[c]
NO_OVERFLOW_SIMPLE 6 offset
UNITS 6 offset unit_byte
UNITS 7 payload unit_byte
UNITS 8 length unit_byte
USER_PTR 7 payload
HALF_LOCKED2 &pool->lock

sound/firewire/oxfw/oxfw-scs1x.c fw_send_request() -> __fw_send_request()

Type Parameter Key Value
PARAM_VALUE 1 t 4096-ptr_max
PARAM_VALUE 2 tcode 1
PARAM_VALUE 6 offset 211140036188890
PARAM_VALUE 7 payload 4096-ptr_max
PARAM_VALUE 8 length 1-u32max
PARAM_VALUE 10 with_tstamp 0
PARAM_VALUE 11 callback_data 4096-ptr_max
BUF_SIZE 7 payload 64
BUF_SIZE 7 payload 64
DATA_SOURCE 0 card $0
DATA_SOURCE 1 t $1
DATA_SOURCE 2 tcode $2
DATA_SOURCE 3 destination_id $3
DATA_SOURCE 4 generation $4
DATA_SOURCE 5 speed $5
DATA_SOURCE 6 offset $6
DATA_SOURCE 7 payload $7
DATA_SOURCE 8 length $8
DATA_SOURCE 11 callback_data $10
FUZZY_MAX 8 length 1
NOCHECK_CALL
UNITS 8 length unit_byte
HALF_LOCKED2 &pool->lock

drivers/firewire/net.c fw_send_request() -> __fw_send_request()

Type Parameter Key Value
PARAM_VALUE 1 t 4096-ptr_max
PARAM_VALUE 2 tcode 1,10
PARAM_VALUE 3 destination_id 0-65534
PARAM_VALUE 8 length 0-65543
PARAM_VALUE 10 with_tstamp 0
PARAM_VALUE 11 callback_data 4096-ptr_max
BUF_SIZE 7 payload 1-s32max
BUF_SIZE 7 payload 1-s32max
BUF_SIZE 11 callback_data (-1),1-s32max
BUF_SIZE 11 callback_data (-1),1-s32max
DATA_SOURCE 0 card $0
DATA_SOURCE 1 t $1
DATA_SOURCE 2 tcode $2
DATA_SOURCE 3 destination_id $3
DATA_SOURCE 4 generation $4
DATA_SOURCE 5 speed $5
DATA_SOURCE 6 offset $6
DATA_SOURCE 7 payload $7
DATA_SOURCE 8 length $8
DATA_SOURCE 11 callback_data $10
HARD_MAX 2 tcode 10
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 7 payload unit_byte
UNITS 8 length unit_byte

sound/firewire/fireface/ff-transaction.c fw_send_request() -> __fw_send_request()

Type Parameter Key Value
PARAM_VALUE 1 t 4096-ptr_max
PARAM_VALUE 2 tcode 0-1
PARAM_VALUE 6 offset 0,2149056512,2149122048,281470681743408
PARAM_VALUE 7 payload 4096-ptr_max
PARAM_VALUE 8 length 0-s32max,18446744071562067968-u64max
PARAM_VALUE 10 with_tstamp 0
PARAM_VALUE 11 callback_data 4096-ptr_max
DATA_SOURCE 0 card $0
DATA_SOURCE 1 t $1
DATA_SOURCE 2 tcode $2
DATA_SOURCE 3 destination_id $3
DATA_SOURCE 4 generation $4
DATA_SOURCE 5 speed $5
DATA_SOURCE 6 offset $6
DATA_SOURCE 7 payload $7
DATA_SOURCE 8 length $8
DATA_SOURCE 11 callback_data $10
FUZZY_MAX 2 tcode 1
HARD_MAX 2 tcode 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock