Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
- drivers/media/dvb-core/dmxdev.c
- drivers/media/dvb-core/dvb_ca_en50221.c, line 1749
- drivers/media/dvb-core/dvb_ringbuffer.c
- drivers/media/pci/ngene/ngene-core.c
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 |