Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/dvb-core/dmxdev.c dvb_dmxdev_set_buffer_size() -> dvb_ringbuffer_reset()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
BUF_SIZE 0 rbuf 200
BUF_SIZE 0 rbuf->data 1-u64max
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &dmxdev->mutex
LOCK2 &dmxdevfilter->dev->lock
LOCK2 &dmxdevfilter->mutex
LOCK2 irq
TYPE_LOCK (struct dmxdev)->lock
TYPE_LOCK (struct dmxdev)->mutex
TYPE_LOCK (struct dmxdev_filter)->mutex

drivers/media/dvb-core/dmxdev.c dvb_dvr_open() -> dvb_ringbuffer_reset()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dmxdev->mutex
TYPE_LOCK (struct dmxdev)->mutex

drivers/media/dvb-core/dmxdev.c dvb_dvr_set_buffer_size() -> dvb_ringbuffer_reset()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
BUF_SIZE 0 rbuf 200
BUF_SIZE 0 rbuf->data 1-u64max
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &dmxdev->lock
LOCK2 &dmxdev->mutex
LOCK2 irq
TYPE_LOCK (struct dmxdev)->lock
TYPE_LOCK (struct dmxdev)->mutex