Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

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

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

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

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
PARAM_VALUE 2 len 188
BUF_SIZE 1 buf (-1),188,8192,98304,417792,2080768
DATA_SOURCE 1 buf $1
NOCHECK_CALL
HALF_LOCKED2 &chan->state_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 irq

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

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
PARAM_VALUE 0 rbuf->data 4096-ptr_max
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 len 0-s32max,18446744071562067968-u64max
BUF_SIZE 1 buf 8192
BUF_SIZE 1 buf 8192
CAPPED_DATA 0 rbuf->pwrite 1
DATA_SOURCE 0 rbuf $0
DATA_SOURCE 1 buf $1
DATA_SOURCE 2 len $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh

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

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 len 8
BUF_SIZE 1 buf 8
DATA_SOURCE 0 rbuf $0
NOCHECK_CALL
LOCK2 &av7110->ioctl_mutex
TYPE_LOCK (struct av7110)->ioctl_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
PARAM_VALUE 0 rbuf->data 4096-ptr_max
PARAM_VALUE 1 buf 18379471554275704832,18446612682070032384
PARAM_VALUE 2 len 0-2048
CAPPED_DATA 0 rbuf->pwrite 1
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 0 rbuf $0
DATA_SOURCE 1 buf r get_free_pages_noprof
DATA_SOURCE 2 len $3
FUZZY_MAX 2 len 2048
NOSPEC 2 len
HARD_MAX 2 len 2048
USER_DATA 1 *buf 0-255
USER_DATA 2 len 0-2048[c]
USER_PTR 1 buf

drivers/media/dvb-core/dvb_ringbuffer.c dvb_ringbuffer_pkt_write() -> dvb_ringbuffer_write()

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
PARAM_VALUE 0 rbuf->data 4096-ptr_max
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 len 1-s32max
BUF_SIZE 1 buf 512
BUF_SIZE 1 buf 512
CAPPED_DATA 0 rbuf->pwrite 1
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 0 rbuf $0
DATA_SOURCE 1 buf $1
DATA_SOURCE 2 len $2

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

Type Parameter Key Value
PARAM_VALUE 0 rbuf 4096-ptr_max
PARAM_VALUE 2 len 0-s32max
BUF_SIZE 1 buf (-1),2048
BUF_SIZE 1 buf (-1),2048
CAPPED_DATA 2 len 1
DATA_SOURCE 0 rbuf $0
DATA_SOURCE 1 buf $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL