Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/media/pci/ivtv/ivtv-streams.c ivtv_stop_v4l2_decode_stream() -> ivtv_flush_queues()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->itv->dma_timer.entry.pprev 0
PARAM_VALUE 0 s->itv->dma_timer.flags 0-4194302
PARAM_VALUE 0 s->itv->dma_timer.function 0
PARAM_VALUE 0 s->type 5,8
PARAM_VALUE 0 s->vdev.v4l2_dev 1-u64max
BUF_SIZE 0 s (-1),10336
BUF_SIZE 0 s (-1),10336
DATA_SOURCE 0 s $0
BIT_INFO 0 s->type 0x0,0xd
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &itv->serialize_lock

drivers/media/pci/ivtv/ivtv-fileops.c ivtv_release_stream() -> ivtv_flush_queues()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->buffers_stolen 0-s32max
PARAM_VALUE 0 s->id 0
PARAM_VALUE 0 s->itv->card->hw_all 17,66,154,412,1050,2064,4097,4113,16401,32786,33040,34322,34576,34832,35856,36368,36881,45074,46610,69649,393374,917681,1048666
PARAM_VALUE 0 s->subtype 0-4,11
PARAM_VALUE 0 s->type 0-8
PARAM_VALUE 0 *s->itv->vbi.sliced_mpeg_size 0-4294967295
BUF_SIZE 0 s (-1),15504
BUF_SIZE 0 s (-1),15504
DATA_SOURCE 0 s $0
FUZZY_MAX 0 s->type 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &itv->serialize_lock

drivers/media/pci/ivtv/ivtv-fileops.c ivtv_release_stream() -> ivtv_flush_queues()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->id 0
PARAM_VALUE 0 s->type 0-8
BUF_SIZE 0 s 7752,18088
BUF_SIZE 0 s 7752,18088
FUZZY_MAX 0 s->type 6
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &itv->serialize_lock

drivers/media/pci/ivtv/ivtv-queue.c ivtv_stream_free() -> ivtv_flush_queues()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->dma 0-3
BUF_SIZE 0 s->sg_dma (-1),12
BUF_SIZE 0 s->sg_processing (-1)-4000000
DATA_SOURCE 0 s $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL