Open Menu /

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->buf_pool.next 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->bufs_per_mdl 1-u32max
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 mdl 4096-ptr_max
PARAM_VALUE 1 mdl->list.next 4096-ptr_max
PARAM_VALUE 1 mdl->list.next->next 4096-ptr_max
PARAM_VALUE 1 mdl->list.next->prev 4096-ptr_max
PARAM_VALUE 1 mdl->list.prev 4096-ptr_max
PARAM_VALUE 1 mdl->list.prev->next 4096-ptr_max
PARAM_VALUE 1 mdl->list.prev->prev 4096-ptr_max
PARAM_VALUE 1 mdl->skipped 0
PARAM_VALUE 2 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
CAPPED_DATA 0 &s->buf_pool 1
DATA_SOURCE 0 s $0
DATA_SOURCE 1 mdl r cx18_dequeue
PARAM_COMPARE 0 &s->buf_pool == $0->buf_pool.next
PARAM_COMPARE 0 &s->q_idle.list != $0->q_idle.list.next
BIT_INFO 1 mdl->id 0x0,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &cx->serialize_lock
HALF_LOCKED2 0 &s->dvb->feedlock

drivers/media/pci/cx18/cx18-fileops.c cx18_read() -> cx18_push()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->cx 4096-ptr_max
PARAM_VALUE 0 *s->cx->vbi.sliced_mpeg_size 0-4294967295
PARAM_VALUE 1 mdl 4096-ptr_max
PARAM_VALUE 2 q 4096-ptr_max
BUF_SIZE 1 mdl (-1),64
BUF_SIZE 1 mdl (-1),64
DATA_SOURCE 0 s $0
DATA_SOURCE 1 mdl r cx18_get_mdl
PARAM_COMPARE 1 mdl->bytesused != $1->readpos
NOCHECK_CALL

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

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.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 s->type 5
PARAM_VALUE 1 mdl 4096-ptr_max
PARAM_VALUE 1 mdl->bytesused 1-u32max
PARAM_VALUE 1 mdl->list.next->prev 4096-ptr_max
PARAM_VALUE 1 mdl->list.prev->next 4096-ptr_max
PARAM_VALUE 1 mdl->readpos 0-4294967294
PARAM_VALUE 1 mdl->skipped 0
PARAM_VALUE 2 q 4096-ptr_max
BUF_SIZE 0 s 7168
BUF_SIZE 0 s 7168
CAPPED_DATA 1 mdl->readpos 1
DATA_SOURCE 1 mdl r cx18_dequeue
PARAM_COMPARE 0 &s->q_full.list != $0->q_full.list.next
PARAM_COMPARE 1 mdl->bytesused > $1->readpos
NOCHECK_CALL
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock