Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/pci/cx18/cx18-queue.c cx18_flush_queues() -> cx18_queue_flush()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 *s->cx->vbi.sliced_mpeg_size 0-4294967295
PARAM_VALUE 1 q_src 4096-ptr_max
PARAM_VALUE 2 q_dst 4096-ptr_max
BUF_SIZE 0 s (-1),360,392,488,768,776,784,816,856,872,880,920,928,976,1000,1016,1088,1120,1128,1144,1152,1184,1248,1288,1312,1328,1344,1352,1368,1392,1552,2416,2728,2888,3040,3256,4104,4824,7168,7552,7944,8768,10752,14336-s32max
BUF_SIZE 0 s (-1),360,392,488,768,776,784,816,856,872,880,920,928,976,1000,1016,1088,1120,1128,1144,1152,1184,1248,1288,1312,1328,1344,1352,1368,1392,1552,2416,2728,2888,3040,3256,4104,4824,7168,7552,7944,8768,10752,14336-s32max
DATA_SOURCE 0 s $0
STR_LEN 0 s (-1),5-9,12
STR_LEN 0 s (-1),5-9,12
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &cx->serialize_lock

drivers/media/pci/cx18/cx18-queue.c cx18_flush_queues() -> cx18_queue_flush()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 *s->cx->vbi.sliced_mpeg_size 0-4294967295
PARAM_VALUE 1 q_src 4096-ptr_max
PARAM_VALUE 2 q_dst 4096-ptr_max
BUF_SIZE 0 s (-1),360,392,488,768,776,784,816,856,872,880,920,928,976,1000,1016,1088,1120,1128,1144,1152,1184,1248,1288,1312,1328,1344,1352,1368,1392,1552,2416,2728,2888,3040,3256,4104,4824,7168,7552,7944,8768,10752,14336-s32max
BUF_SIZE 0 s (-1),360,392,488,768,776,784,816,856,872,880,920,928,976,1000,1016,1088,1120,1128,1144,1152,1184,1248,1288,1312,1328,1344,1352,1368,1392,1552,2416,2728,2888,3040,3256,4104,4824,7168,7552,7944,8768,10752,14336-s32max
CAPPED_DATA 0 &s->q_busy 1
DATA_SOURCE 0 s $0
STR_LEN 0 s (-1),5-9,12
STR_LEN 0 s (-1),5-9,12
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &cx->serialize_lock

drivers/media/pci/cx18/cx18-queue.c cx18_unload_queues() -> cx18_queue_flush()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->cx->card->hw_audio_ctrl 16
PARAM_VALUE 1 q_src 4096-ptr_max
PARAM_VALUE 2 q_dst 4096-ptr_max
BUF_SIZE 0 s (-1),2704,2992,4248,6624,7168,14336,21504,50000,60000
BUF_SIZE 0 s (-1),2704,2992,4248,6624,7168,14336,21504,50000,60000
BUF_SIZE 2 q_dst 96
DATA_SOURCE 0 s $0
PARAM_COMPARE 0 &s->q_idle == $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &s->dvb->feedlock

drivers/media/pci/cx18/cx18-queue.c cx18_unload_queues() -> cx18_queue_flush()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->cx->card->hw_audio_ctrl 16
PARAM_VALUE 1 q_src 4096-ptr_max
PARAM_VALUE 2 q_dst 4096-ptr_max
BUF_SIZE 0 s (-1),2704,2992,4248,6624,7168,14336,21504,50000,60000
BUF_SIZE 0 s (-1),2704,2992,4248,6624,7168,14336,21504,50000,60000
BUF_SIZE 2 q_dst 96
CAPPED_DATA 0 &s->q_busy 1
DATA_SOURCE 0 s $0
PARAM_COMPARE 0 &s->q_idle == $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &s->dvb->feedlock

drivers/media/pci/cx18/cx18-queue.c cx18_unload_queues() -> cx18_queue_flush()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->cx->card->hw_audio_ctrl 16
PARAM_VALUE 1 q_src 4096-ptr_max
PARAM_VALUE 2 q_dst 4096-ptr_max
BUF_SIZE 0 s (-1),2704,2992,4248,6624,7168,14336,21504,50000,60000
BUF_SIZE 0 s (-1),2704,2992,4248,6624,7168,14336,21504,50000,60000
BUF_SIZE 2 q_dst 96
CAPPED_DATA 0 &s->q_busy 1
CAPPED_DATA 0 &s->q_full 1
DATA_SOURCE 0 s $0
PARAM_COMPARE 0 &s->q_idle == $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &s->dvb->feedlock