Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/media/pci/ngene/ngene-core.c set_transfer() -> dvb_ringbuffer_flush()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 rbuf->error 0
HOST_DATA 0 rbuf->pread s64min-s64max
HOST_DATA 0 rbuf->pwrite s64min-s64max
HOST_DATA 0 rbuf->size s64min-s64max
LOCK2 &chan->state_lock
LOCK2 irq
TYPE_LOCK (struct ngene_channel)->state_lock

drivers/media/pci/ngene/ngene-core.c set_transfer() -> dvb_ringbuffer_flush()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 rbuf->error s32min-s32max
HOST_DATA 0 rbuf->pread s64min-s64max
HOST_DATA 0 rbuf->pwrite s64min-s64max
HOST_DATA 0 rbuf->size s64min-s64max
LOCK2 &chan->state_lock
LOCK2 irq
TYPE_LOCK (struct ngene_channel)->state_lock

drivers/media/dvb-core/dvb_ca_en50221.c dvb_ca_en50221_io_open() -> dvb_ringbuffer_flush()

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

drivers/media/dvb-core/dmxdev.c dvb_dmxdev_buffer_read() -> dvb_ringbuffer_flush()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
PARAM_VALUE 0 rbuf->error s32min-(-1),1-s32max
DATA_SOURCE 0 rbuf $0
NOCHECK_CALL
HALF_LOCKED2 &dfil->mutex
HALF_LOCKED2 &dmxdevfilter->mutex

drivers/media/dvb-core/dmxdev.c dvb_dmxdev_buffer_read() -> dvb_ringbuffer_flush()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
DATA_SOURCE 0 rbuf $0
NOCHECK_CALL
HALF_LOCKED2 &dfil->mutex
HALF_LOCKED2 &dmxdevfilter->mutex

drivers/media/dvb-core/dmxdev.c dvb_dmxdev_filter_start() -> dvb_ringbuffer_flush()

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

drivers/media/dvb-core/dmxdev.c dvb_dmxdev_filter_stop() -> dvb_ringbuffer_flush()

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

drivers/media/dvb-core/dvb_ringbuffer.c dvb_ringbuffer_flush_spinlock_wakeup() -> dvb_ringbuffer_flush()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
DATA_SOURCE 0 rbuf $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &rbuf->lock
HALF_LOCKED2 &av7110->ioctl_mutex
TYPE_LOCK (struct dvb_ringbuffer)->lock