Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/dvb-core/dvb_demux.c dvb_dmx_swfilter() -> _dvb_dmx_swfilter()

Type Parameter Key Value
PARAM_VALUE 0 demux 4096-ptr_max
PARAM_VALUE 3 pktsize 188
BUF_SIZE 1 buf s32min-s32max
DATA_SOURCE 0 demux $0
DATA_SOURCE 1 buf $1
DATA_SOURCE 2 count $2
NOSPEC 2 count
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 *buf 0-255
USER_DATA 2 count 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 demux->tsbufp
NO_OVERFLOW_SIMPLE 2 count
UNITS 1 buf unit_byte
UNITS 2 count unit_byte
BYTE_COUNT 1 ==buf2 8050
USER_PTR 1 buf
HALF_LOCKED2 &dev->slock
HALF_LOCKED2 &dev->video_mode.slock
HALF_LOCKED2 &dmxdev->mutex
HALF_LOCKED2 &fc_pci->irq_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 flags
HALF_LOCKED2 0 &demux->mutex

drivers/media/dvb-core/dvb_demux.c dvb_dmx_swfilter_204() -> _dvb_dmx_swfilter()

Type Parameter Key Value
PARAM_VALUE 0 demux 4096-ptr_max
PARAM_VALUE 2 count 1-u32max
PARAM_VALUE 3 pktsize 204
BUF_SIZE 1 buf s32min-(-1),1-s32max
BUF_SIZE 1 buf s32min-(-1),1-s32max
DATA_SOURCE 0 demux $0
DATA_SOURCE 1 buf $1
DATA_SOURCE 2 count $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 count 1-u32max[c][u]
NO_OVERFLOW_SIMPLE 2 count
HALF_LOCKED2 &pool->lock