Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/firewire/firedtv-avc.c avc_recv() -> debug_fcp()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 1 length 2-u16max
BUF_SIZE 0 data 0-u16max
CAPPED_DATA 1 length 1
DATA_SOURCE 0 data $1
DATA_SOURCE 1 length $2
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/media/firewire/firedtv-avc.c avc_write() -> debug_fcp()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
BUF_SIZE 0 data 512
CAPPED_DATA 1 length 1
BIT_INFO 1 length 0x0,0x7ffffffc
NOSPEC 1 length
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 length 0,32-4604[c]
LOCK2 &fdtv->avc_mutex
HALF_LOCKED2 &fdtv->demux_mutex
TYPE_LOCK (struct firedtv)->avc_mutex