Defined in 1 files as a member:

Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

sound/firewire/amdtp-stream.c process_rx_packets() -> process_ctx_payloads()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->domain 4096-ptr_max
PARAM_VALUE 0 s->packet_index 0-s32max
PARAM_VALUE 2 count 0-s32max
BUF_SIZE 0 s s32min-(-1),1-s32max
BUF_SIZE 0 s s32min-(-1),1-s32max
CAPPED_DATA 2 count 1
DATA_SOURCE 0 s $4
FUZZY_MAX 0 s->packet_index 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

sound/firewire/amdtp-stream.c process_tx_packets() -> process_ctx_payloads()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->packet_index 0-s32max
BUF_SIZE 0 s s32min-(-1),1-s32max
BUF_SIZE 0 s s32min-(-1),1-s32max
DATA_SOURCE 0 s $4
FUZZY_MAX 0 s->packet_index 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL