Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/dvb-core/dmxdev.c dvb_dmxdev_section_callback() -> dvb_dmxdev_buffer_write()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
DATA_SOURCE 1 src $0
DATA_SOURCE 2 len $1
PREEMPT_ADD <- disables preempt
LOCK2 &dmxdevfilter->dev->lock
TYPE_LOCK (struct dmxdev)->lock

drivers/media/dvb-core/dmxdev.c dvb_dmxdev_section_callback() -> dvb_dmxdev_buffer_write()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
DATA_SOURCE 1 src $2
DATA_SOURCE 2 len $3
PREEMPT_ADD <- disables preempt
LOCK2 &dmxdevfilter->dev->lock
TYPE_LOCK (struct dmxdev)->lock

drivers/media/dvb-core/dmxdev.c dvb_dmxdev_ts_callback() -> dvb_dmxdev_buffer_write()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 0 buf->error 0
BUF_SIZE 0 buf 200
DATA_SOURCE 1 src $0
DATA_SOURCE 2 len $1
PREEMPT_ADD <- disables preempt
LOCK2 &dmxdevfilter->dev->lock
TYPE_LOCK (struct dmxdev)->lock

drivers/media/dvb-core/dmxdev.c dvb_dmxdev_ts_callback() -> dvb_dmxdev_buffer_write()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 0 buf->error 0
BUF_SIZE 0 buf 200
DATA_SOURCE 1 src $2
DATA_SOURCE 2 len $3
PREEMPT_ADD <- disables preempt
LOCK2 &dmxdevfilter->dev->lock
TYPE_LOCK (struct dmxdev)->lock