Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/pci/cx18/cx18-streams.c cx18_mdl_sync_for_device() -> _cx18_mdl_sync_for_device()

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->cx->pci_dev->dev.iommu->attach_deferred 0-1
PARAM_VALUE 0 s->handle 0-4294967294
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->next->next 4096-ptr_max
PARAM_VALUE 0 s->q_busy.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 s->q_free.list.next 4096-ptr_max
PARAM_VALUE 0 s->q_free.lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 mdl 4096-ptr_max
PARAM_VALUE 1 mdl->bytesused 0
PARAM_VALUE 1 mdl->curr_buf 0
PARAM_VALUE 1 mdl->list.next->prev 4096-ptr_max
PARAM_VALUE 1 mdl->list.prev->next 4096-ptr_max
PARAM_VALUE 1 mdl->m_flags 0
PARAM_VALUE 1 mdl->readpos 0
PARAM_VALUE 1 mdl->skipped 0
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
CAPPED_DATA 1 &mdl->buf_list 1
DATA_SOURCE 0 s $0
DATA_SOURCE 1 mdl $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &s->dvb->feedlock