Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/media/pci/cx18/cx18-streams.c _cx18_stream_load_fw_queue() -> cx18_dequeue()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->cx->card->hw_audio_ctrl 16
PARAM_VALUE 0 s->q_busy.depth.counter s32min-62
PARAM_VALUE 1 q 4096-ptr_max
BUF_SIZE 0 s (-1),2704,2992,4248,6624,7168,14336,50000,60000
BUF_SIZE 0 s (-1),2704,2992,4248,6624,7168,14336,50000,60000
DATA_SOURCE 0 s $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 0 &s->dvb->feedlock

drivers/media/pci/cx18/cx18-streams.c cx18_stream_rotate_idx_mdls() -> cx18_dequeue()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->dvb 0,4096-ptr_max
PARAM_VALUE 0 s->q_full.depth.counter 2-s32max
PARAM_VALUE 0 s->type 5
PARAM_VALUE 1 q 4096-ptr_max
PARAM_VALUE 1 q->depth.counter 2-s32max
BUF_SIZE 0 s 7168
BUF_SIZE 0 s 7168
HALF_LOCKED2 &pool->lock

drivers/media/pci/cx18/cx18-queue.c cx18_load_queues() -> cx18_dequeue()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->buf_pool.prev 4096-ptr_max
PARAM_VALUE 0 s->buf_pool.prev->next 4096-ptr_max
PARAM_VALUE 0 s->buf_pool.prev->next->next 4096-ptr_max
PARAM_VALUE 0 s->cx 4096-ptr_max
PARAM_VALUE 0 s->cx->card->hw_audio_ctrl 16
PARAM_VALUE 0 s->cx->scb->cpu_mdl_ack 4096-ptr_max
PARAM_VALUE 0 s->cx->vbi.frame 0
PARAM_VALUE 0 s->cx->vbi.inserted_frame 0
PARAM_VALUE 0 s->dvb 0,4096-ptr_max
PARAM_VALUE 0 s->q_busy.bytesused 0
PARAM_VALUE 0 s->q_busy.depth.counter 0
PARAM_VALUE 0 s->q_free.bytesused 0
PARAM_VALUE 0 s->q_free.depth.counter 0
PARAM_VALUE 0 s->q_full.bytesused 0
PARAM_VALUE 0 s->q_full.depth.counter 0
PARAM_VALUE 0 s->type 0-5
PARAM_VALUE 1 q 4096-ptr_max
BUF_SIZE 0 s 2704,2992,4248,6624,7168,14336,50000,60000
BUF_SIZE 0 s 2704,2992,4248,6624,7168,14336,50000,60000
DATA_SOURCE 0 s $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &cx->serialize_lock
HALF_LOCKED2 0 &s->dvb->feedlock

drivers/media/pci/cx18/cx18-queue.c cx18_load_queues() -> cx18_dequeue()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->buf_pool.prev 4096-ptr_max
PARAM_VALUE 0 s->buf_pool.prev->next 4096-ptr_max
PARAM_VALUE 0 s->buf_pool.prev->next->next 4096-ptr_max
PARAM_VALUE 0 s->cx 4096-ptr_max
PARAM_VALUE 0 s->cx->card->hw_audio_ctrl 16
PARAM_VALUE 0 s->cx->scb->cpu_mdl_ack 4096-ptr_max
PARAM_VALUE 0 s->cx->vbi.frame 0
PARAM_VALUE 0 s->cx->vbi.inserted_frame 0
PARAM_VALUE 0 s->dvb 0,4096-ptr_max
PARAM_VALUE 0 s->q_busy.bytesused 0
PARAM_VALUE 0 s->q_busy.depth.counter 0
PARAM_VALUE 0 s->q_full.bytesused 0
PARAM_VALUE 0 s->q_full.depth.counter 0
PARAM_VALUE 0 s->q_idle.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 s->type 0-5
PARAM_VALUE 1 q 4096-ptr_max
BUF_SIZE 0 s 2704,2992,4248,6624,7168,14336,50000,60000
BUF_SIZE 0 s 2704,2992,4248,6624,7168,14336,50000,60000
CAPPED_DATA 0 s->bufs_per_mdl 1
DATA_SOURCE 0 s $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &cx->serialize_lock
HALF_LOCKED2 0 &s->dvb->feedlock

drivers/media/pci/cx18/cx18-queue.c cx18_stream_free() -> cx18_dequeue()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->buf_pool.prev 4096-ptr_max
PARAM_VALUE 0 s->buf_pool.prev->next 4096-ptr_max
PARAM_VALUE 0 s->buf_pool.prev->next->next 4096-ptr_max
PARAM_VALUE 0 s->q_busy.bytesused 0
PARAM_VALUE 0 s->q_busy.depth.counter 0
PARAM_VALUE 0 s->q_busy.list.next 4096-ptr_max
PARAM_VALUE 0 s->q_busy.list.next->next 4096-ptr_max
PARAM_VALUE 0 s->q_busy.list.prev 4096-ptr_max
PARAM_VALUE 0 s->q_busy.list.prev->next 4096-ptr_max
PARAM_VALUE 0 s->q_busy.list.prev->prev 4096-ptr_max
PARAM_VALUE 0 s->q_free.bytesused 0
PARAM_VALUE 0 s->q_free.depth.counter 0
PARAM_VALUE 0 s->q_free.list.next 4096-ptr_max
PARAM_VALUE 0 s->q_free.list.next->next 4096-ptr_max
PARAM_VALUE 0 s->q_free.list.prev 4096-ptr_max
PARAM_VALUE 0 s->q_free.list.prev->next 4096-ptr_max
PARAM_VALUE 0 s->q_free.list.prev->prev 4096-ptr_max
PARAM_VALUE 0 s->q_full.bytesused 0
PARAM_VALUE 0 s->q_full.depth.counter 0
PARAM_VALUE 0 s->q_full.list.next 4096-ptr_max
PARAM_VALUE 0 s->q_full.list.next->next 4096-ptr_max
PARAM_VALUE 0 s->q_full.list.prev 4096-ptr_max
PARAM_VALUE 0 s->q_full.list.prev->next 4096-ptr_max
PARAM_VALUE 0 s->q_full.list.prev->prev 4096-ptr_max
PARAM_VALUE 1 q 4096-ptr_max
BUF_SIZE 0 s (-1),7168,21504
BUF_SIZE 0 s (-1),7168,21504
DATA_SOURCE 0 s $0
RX_PATH
TASK_NOT_RUNNING

drivers/media/pci/cx18/cx18-queue.c cx18_stream_free() -> cx18_dequeue()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->buf_pool.prev 4096-ptr_max
PARAM_VALUE 0 s->buf_pool.prev->next 4096-ptr_max
PARAM_VALUE 0 s->buf_pool.prev->next->next 4096-ptr_max
PARAM_VALUE 0 s->q_busy.bytesused 0
PARAM_VALUE 0 s->q_busy.depth.counter 0
PARAM_VALUE 0 s->q_busy.list.next 4096-ptr_max
PARAM_VALUE 0 s->q_busy.list.next->next 4096-ptr_max
PARAM_VALUE 0 s->q_busy.list.prev 4096-ptr_max
PARAM_VALUE 0 s->q_busy.list.prev->next 4096-ptr_max
PARAM_VALUE 0 s->q_busy.list.prev->prev 4096-ptr_max
PARAM_VALUE 0 s->q_free.bytesused 0
PARAM_VALUE 0 s->q_free.depth.counter 0
PARAM_VALUE 0 s->q_free.list.next 4096-ptr_max
PARAM_VALUE 0 s->q_free.list.next->next 4096-ptr_max
PARAM_VALUE 0 s->q_free.list.prev 4096-ptr_max
PARAM_VALUE 0 s->q_free.list.prev->next 4096-ptr_max
PARAM_VALUE 0 s->q_free.list.prev->prev 4096-ptr_max
PARAM_VALUE 0 s->q_full.bytesused 0
PARAM_VALUE 0 s->q_full.depth.counter 0
PARAM_VALUE 0 s->q_full.list.next 4096-ptr_max
PARAM_VALUE 0 s->q_full.list.next->next 4096-ptr_max
PARAM_VALUE 0 s->q_full.list.prev 4096-ptr_max
PARAM_VALUE 0 s->q_full.list.prev->next 4096-ptr_max
PARAM_VALUE 0 s->q_full.list.prev->prev 4096-ptr_max
PARAM_VALUE 0 s->q_idle.lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 q 4096-ptr_max
BUF_SIZE 0 s (-1),7168,21504
BUF_SIZE 0 s (-1),7168,21504
DATA_SOURCE 0 s $0
PARAM_COMPARE 0 &s->q_idle.list != $0->q_idle.list.next
RX_PATH
TASK_NOT_RUNNING

drivers/media/pci/cx18/cx18-fileops.c cx18_get_mdl() -> cx18_dequeue()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 1 q 4096-ptr_max
BUF_SIZE 0 s 14336
BUF_SIZE 0 s 14336

drivers/media/pci/cx18/cx18-fileops.c cx18_get_mdl() -> cx18_dequeue()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->q_free.list.prev 4096-ptr_max
PARAM_VALUE 0 s->q_free.list.prev->next 4096-ptr_max
PARAM_VALUE 0 s->q_free.list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 s->q_full.lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 q 4096-ptr_max
BUF_SIZE 0 s 14336
BUF_SIZE 0 s 14336
PARAM_COMPARE 0 &s->q_full.list != $0->q_full.list.next

drivers/media/pci/cx18/cx18-fileops.c cx18_get_mdl() -> cx18_dequeue()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->cx 4096-ptr_max
PARAM_VALUE 0 s->cx->streams 4096-ptr_max
PARAM_VALUE 0 *s->cx->vbi.sliced_mpeg_size 0-4294967295
PARAM_VALUE 1 q 4096-ptr_max
DATA_SOURCE 0 s $0

drivers/media/pci/cx18/cx18-ioctl.c cx18_g_enc_index() -> cx18_dequeue()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->dvb 0,4096-ptr_max
PARAM_VALUE 0 s->type 5
PARAM_VALUE 1 q 4096-ptr_max
BUF_SIZE 0 s 7168
BUF_SIZE 0 s 7168
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock