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/staging/media/av7110/av7110.c gpioirq() -> dvb_ringbuffer_avail()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
BUF_SIZE 0 rbuf 200
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &av7110->debilock
HALF_LOCKED2 bh
TYPE_LOCK (struct av7110)->debilock

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

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

drivers/media/pci/ngene/ngene-dvb.c ts_read() -> dvb_ringbuffer_avail()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max

drivers/media/pci/ngene/ngene-dvb.c ts_read() -> dvb_ringbuffer_avail()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
TASK_NOT_RUNNING

drivers/media/pci/ngene/ngene-dvb.c ts_read() -> dvb_ringbuffer_avail()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
TASK_NOT_RUNNING

drivers/media/pci/ngene/ngene-dvb.c ts_read() -> dvb_ringbuffer_avail()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max

drivers/media/pci/ngene/ngene-dvb.c tsout_exchange() -> dvb_ringbuffer_avail()

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_ll_read() -> dvb_ringbuffer_avail()

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

drivers/media/dvb-core/dvb_ringbuffer.c dvb_ringbuffer_pkt_dispose() -> dvb_ringbuffer_avail()

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

drivers/media/dvb-core/dvb_ringbuffer.c dvb_ringbuffer_pkt_dispose() -> dvb_ringbuffer_avail()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
CAPPED_DATA 0 rbuf->pread 1
DATA_SOURCE 0 rbuf $0

drivers/media/dvb-core/dvb_ringbuffer.c dvb_ringbuffer_pkt_next() -> dvb_ringbuffer_avail()

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

drivers/media/dvb-core/dvb_ringbuffer.c dvb_ringbuffer_pkt_next() -> dvb_ringbuffer_avail()

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 av7110_pes_play() -> dvb_ringbuffer_avail()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
DATA_SOURCE 0 rbuf $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &av7110->debilock
HALF_LOCKED2 &av7110->aout.lock
HALF_LOCKED2 &av7110->avout.lock
HALF_LOCKED2 bh
TYPE_LOCK (struct av7110)->debilock
TYPE_LOCK (struct dvb_ringbuffer)->lock