Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/usb/pvrusb2/pvrusb2-ioread.c pvr2_ioread_filter() -> pvr2_ioread_get_buffer()

Type Parameter Key Value
PARAM_VALUE 0 cp 4096-ptr_max
PARAM_VALUE 0 cp->enabled s32min-(-1),1-s32max
PARAM_VALUE 0 cp->mutex.dep_map->name 0-255
PARAM_VALUE 0 cp->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 cp->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 cp->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 cp->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 cp->mutex.wait_lock.owner (-1)
PARAM_VALUE 0 cp->mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 cp->sync_state 1
CAPPED_DATA 0 &cp->mutex 1
DATA_SOURCE 0 cp $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 cp->c_data_offs 1-4000000000[c]
USER_DATA 0 cp->sync_trashed_count 0-u32max[c][u]
NO_OVERFLOW_SIMPLE 0 cp->stream->buffer_slot_count
LOCK2 0 &cp->mutex
TYPE_LOCK (struct pvr2_ioread)->mutex

drivers/media/usb/pvrusb2/pvrusb2-ioread.c pvr2_ioread_read() -> pvr2_ioread_get_buffer()

Type Parameter Key Value
PARAM_VALUE 0 cp 4096-ptr_max
PARAM_VALUE 0 cp->c_buf->purb->actual_length 0-4294967295
PARAM_VALUE 0 cp->c_buf->purb->dev->dev.kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 cp->c_buf->purb->dev->dev.kobj.release.cpu s32min-s32max
PARAM_VALUE 0 cp->c_buf->purb->dev->dev.kobj.release.timer.flags 0-4294967295
PARAM_VALUE 0 cp->c_buf->purb->hcpriv 0
PARAM_VALUE 0 cp->c_buf->purb->interval s32min-32768
PARAM_VALUE 0 cp->c_buf->purb->kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 cp->c_buf->purb->num_mapped_sgs 0-s32max
PARAM_VALUE 0 cp->c_buf->purb->status (-4095)-0
PARAM_VALUE 0 cp->c_buf->purb->transfer_buffer->_refcount.counter s32min-s32max
PARAM_VALUE 0 cp->c_buf->purb->transfer_buffer->bmAttributes 0-255
PARAM_VALUE 0 cp->c_buf->purb->transfer_buffer->page_type 0-4294967295
PARAM_VALUE 0 cp->c_buf->purb->transfer_flags 0-4294967295
PARAM_VALUE 0 cp->c_buf->purb->use_count.counter s32min-s32max
PARAM_VALUE 0 cp->mutex.dep_map->name 0-255
PARAM_VALUE 0 cp->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 cp->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 cp->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 cp->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 cp->mutex.wait_lock.owner (-1)
PARAM_VALUE 0 cp->mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 cp->stream->buffer_slot_count 0-4294967295
PARAM_VALUE 0 cp->stream->buffer_total_count 0-4294967295
PARAM_VALUE 0 cp->stream_running 1
PARAM_VALUE 0 cp->sync_state 0,2-u32max
CAPPED_DATA 0 &cp->mutex 1
DATA_SOURCE 0 cp $0
USER_DATA 0 cp->c_data_offs 1-1000000000[c][u]
LOCK2 0 &cp->mutex
TYPE_LOCK (struct pvr2_ioread)->mutex