Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/dvb-core/dvb_demux.c dvb_dmx_swfilter_section_copy_dump() -> (struct dvb_demux)->memcopy()

Type Parameter Key Value
PARAM_VALUE 0 f 4096-ptr_max
PARAM_VALUE 0 f->cc 0-15
PARAM_VALUE 0 f->demux 4096-ptr_max
PARAM_VALUE 0 f->feed.sec.is_filtering s32min-(-1),1-s32max
PARAM_VALUE 0 f->feed.sec.tsfeedp 0-4283
PARAM_VALUE 0 f->type 1
PARAM_VALUE 1 d 4096-ptr_max
PARAM_VALUE 2 s 4096-ptr_max
PARAM_VALUE 3 len 1-255
CAPPED_DATA 0 f->cc 1
CAPPED_DATA 0 f->pid 1
DATA_SOURCE 0 f $0
DATA_SOURCE 2 s $1
DATA_SOURCE 3 len $2 [m]
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 f->cc 1-15[c]
USER_DATA 2 *s 0-255
USER_DATA 3 len 1-183
USER_PTR 2 s
LOCK2 &demux->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct dvb_demux)->lock