Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

drivers/media/dvb-core/dvb_ca_en50221.c dvb_ca_en50221_read_data() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
LOCK2 &sl->slot_lock
TYPE_LOCK (struct dvb_ca_slot)->slot_lock

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

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
BUF_SIZE 0 rbuf (-1),200
BUF_SIZE 0 rbuf (-1),200
DATA_SOURCE 0 rbuf $0
PREEMPT_ADD
LOCK2 &dmxdevfilter->dev->lock
TYPE_LOCK (struct dmxdev)->lock

drivers/media/pci/ngene/ngene-dvb.c ts_poll() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
BUF_SIZE 0 rbuf 200
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &kvm->irq_srcu
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &vm->irqfds_lock
HALF_LOCKED2 global &irqfds_srcu

drivers/media/pci/ngene/ngene-dvb.c ts_write() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max

drivers/media/pci/ngene/ngene-dvb.c ts_write() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
TASK_NOT_RUNNING

drivers/media/pci/ngene/ngene-dvb.c ts_write() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
TASK_NOT_RUNNING

drivers/media/pci/ngene/ngene-dvb.c tsin_copy_stripped() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
HALF_LOCKED2 &chan->state_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 irq

drivers/staging/media/av7110/av7110_ca.c ci_get_data() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
DATA_SOURCE 0 rbuf $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 bh

drivers/staging/media/av7110/av7110_ca.c ci_ll_reset() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
DATA_SOURCE 0 rbuf $0
LOCK2 &av7110->ioctl_mutex
TYPE_LOCK (struct av7110)->ioctl_mutex

drivers/staging/media/av7110/av7110_ca.c ci_ll_write() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
DATA_SOURCE 0 rbuf $0

drivers/staging/media/av7110/av7110_ca.c ci_ll_write() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
DATA_SOURCE 0 rbuf $0

drivers/staging/media/av7110/av7110_ca.c ci_ll_write() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
DATA_SOURCE 0 rbuf $0
TASK_NOT_RUNNING

drivers/staging/media/av7110/av7110_ca.c ci_ll_write() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
DATA_SOURCE 0 rbuf $0
TASK_NOT_RUNNING

drivers/staging/media/av7110/av7110_ca.c dvb_ca_poll() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
BUF_SIZE 0 rbuf 200
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &kvm->irq_srcu
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &vm->irqfds_lock
HALF_LOCKED2 global &irqfds_srcu

drivers/staging/media/av7110/av7110_av.c aux_ring_buffer_write() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
DATA_SOURCE 0 rbuf $0
RX_PATH
TASK_NOT_RUNNING

drivers/staging/media/av7110/av7110_av.c aux_ring_buffer_write() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
DATA_SOURCE 0 rbuf $0
RX_PATH
TASK_NOT_RUNNING

drivers/staging/media/av7110/av7110_av.c aux_ring_buffer_write() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
DATA_SOURCE 0 rbuf $0
RX_PATH
TASK_NOT_RUNNING

drivers/staging/media/av7110/av7110_av.c aux_ring_buffer_write() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
DATA_SOURCE 0 rbuf $0
RX_PATH
TASK_NOT_RUNNING

drivers/staging/media/av7110/av7110_av.c aux_ring_buffer_write() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
DATA_SOURCE 0 rbuf $0
RX_PATH
TASK_NOT_RUNNING

drivers/staging/media/av7110/av7110_av.c dvb_aplay() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max

drivers/staging/media/av7110/av7110_av.c dvb_aplay() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max

drivers/staging/media/av7110/av7110_av.c dvb_aplay() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max

drivers/staging/media/av7110/av7110_av.c dvb_aplay() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
TASK_NOT_RUNNING

drivers/staging/media/av7110/av7110_av.c dvb_aplay() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
TASK_NOT_RUNNING

drivers/staging/media/av7110/av7110_av.c dvb_audio_poll() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &kvm->irq_srcu
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &vm->irqfds_lock
HALF_LOCKED2 global &irqfds_srcu

drivers/staging/media/av7110/av7110_av.c dvb_play() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max

drivers/staging/media/av7110/av7110_av.c dvb_play() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max

drivers/staging/media/av7110/av7110_av.c dvb_play() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
HALF_LOCKED2 &av7110->ioctl_mutex

drivers/staging/media/av7110/av7110_av.c dvb_play() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
HALF_LOCKED2 &av7110->ioctl_mutex

drivers/staging/media/av7110/av7110_av.c dvb_play() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
HALF_LOCKED2 &av7110->ioctl_mutex

drivers/staging/media/av7110/av7110_av.c dvb_play() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
HALF_LOCKED2 &av7110->ioctl_mutex

drivers/staging/media/av7110/av7110_av.c dvb_play() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
TASK_NOT_RUNNING
HALF_LOCKED2 &av7110->ioctl_mutex

drivers/staging/media/av7110/av7110_av.c dvb_play() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
TASK_NOT_RUNNING
HALF_LOCKED2 &av7110->ioctl_mutex

drivers/staging/media/av7110/av7110_av.c dvb_play() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
TASK_NOT_RUNNING
HALF_LOCKED2 &av7110->ioctl_mutex

drivers/staging/media/av7110/av7110_av.c dvb_play() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
TASK_NOT_RUNNING
HALF_LOCKED2 &av7110->ioctl_mutex

drivers/staging/media/av7110/av7110_av.c dvb_play_kernel() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
LOCK2 &av7110->ioctl_mutex
TYPE_LOCK (struct av7110)->ioctl_mutex

drivers/staging/media/av7110/av7110_av.c dvb_play_kernel() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
LOCK2 &av7110->ioctl_mutex
TYPE_LOCK (struct av7110)->ioctl_mutex

drivers/staging/media/av7110/av7110_av.c dvb_play_kernel() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
LOCK2 &av7110->ioctl_mutex
TYPE_LOCK (struct av7110)->ioctl_mutex

drivers/staging/media/av7110/av7110_av.c dvb_play_kernel() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
LOCK2 &av7110->ioctl_mutex
TYPE_LOCK (struct av7110)->ioctl_mutex

drivers/staging/media/av7110/av7110_av.c dvb_play_kernel() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
LOCK2 &av7110->ioctl_mutex
TYPE_LOCK (struct av7110)->ioctl_mutex

drivers/staging/media/av7110/av7110_av.c dvb_play_kernel() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
LOCK2 &av7110->ioctl_mutex
TYPE_LOCK (struct av7110)->ioctl_mutex

drivers/staging/media/av7110/av7110_av.c dvb_play_kernel() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
TASK_NOT_RUNNING
LOCK2 &av7110->ioctl_mutex
TYPE_LOCK (struct av7110)->ioctl_mutex

drivers/staging/media/av7110/av7110_av.c dvb_play_kernel() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
TASK_NOT_RUNNING
LOCK2 &av7110->ioctl_mutex
TYPE_LOCK (struct av7110)->ioctl_mutex

drivers/staging/media/av7110/av7110_av.c dvb_play_kernel() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
TASK_NOT_RUNNING
LOCK2 &av7110->ioctl_mutex
TYPE_LOCK (struct av7110)->ioctl_mutex

drivers/staging/media/av7110/av7110_av.c dvb_play_kernel() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
TASK_NOT_RUNNING
LOCK2 &av7110->ioctl_mutex
TYPE_LOCK (struct av7110)->ioctl_mutex

drivers/staging/media/av7110/av7110_av.c dvb_video_poll() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &kvm->irq_srcu
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &vm->irqfds_lock
HALF_LOCKED2 global &irqfds_srcu

drivers/staging/media/av7110/av7110_av.c dvb_video_poll() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &kvm->irq_srcu
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &vm->irqfds_lock
HALF_LOCKED2 global &irqfds_srcu

drivers/staging/media/av7110/av7110_av.c ts_play() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
BUF_SIZE 0 rbuf 200

drivers/staging/media/av7110/av7110_av.c ts_play() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
BUF_SIZE 0 rbuf 200

drivers/staging/media/av7110/av7110_av.c ts_play() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
BUF_SIZE 0 rbuf 200

drivers/staging/media/av7110/av7110_av.c ts_play() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
BUF_SIZE 0 rbuf 200
TASK_NOT_RUNNING

drivers/staging/media/av7110/av7110_av.c ts_play() -> dvb_ringbuffer_free()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
BUF_SIZE 0 rbuf 200
TASK_NOT_RUNNING