Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 cp 4096-ptr_max
PARAM_VALUE 0 cp->c_buf 4096-ptr_max
PARAM_VALUE 0 cp->c_buf->purb->complete 7846450657586053120
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->pipe 0,128-4294967295
PARAM_VALUE 0 cp->c_buf->purb->reject.counter s32min-s32max
PARAM_VALUE 0 cp->c_buf->purb->unlinked s32min-s32max
PARAM_VALUE 0 cp->c_buf->state 2
PARAM_VALUE 0 cp->c_buf->status (-115)
PARAM_VALUE 0 cp->c_buf->stream->list_lock.rlock.dep_map->name 0-255
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
CAPPED_DATA 0 cp->c_buf->purb 1
CAPPED_DATA 0 cp->c_data_len 1
DATA_SOURCE 0 cp $0
PARAM_COMPARE 0 cp->c_data_len <= $0->c_data_offs
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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->c_buf->purb->num_mapped_sgs
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_get_buffer() -> pvr2_ioread_stop()

Type Parameter Key Value
PARAM_VALUE 0 cp 4096-ptr_max
PARAM_VALUE 0 cp->c_buf 4096-ptr_max
PARAM_VALUE 0 cp->c_data_len 0
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 4096-ptr_max
PARAM_VALUE 0 cp->stream->buffer_slot_count 0-4294967295
PARAM_VALUE 0 cp->stream->buffer_total_count 0-4294967295
DATA_SOURCE 0 cp $0
PARAM_COMPARE 0 cp->c_buf->used_count == $0->c_data_len
PARAM_COMPARE 0 &cp->stream->ready_list != $0->stream->ready_list.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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->c_buf->purb->num_mapped_sgs
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_set_enabled() -> pvr2_ioread_stop()

Type Parameter Key Value
PARAM_VALUE 0 cp 4096-ptr_max
PARAM_VALUE 0 cp->c_data_ptr 0-9223372036854775807
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_key_len 0,4
BUF_SIZE 0 cp 480
CAPPED_DATA 0 cp->sync_key_len 1
CAPPED_DATA 0 &cp->mutex 1
DATA_SOURCE 0 cp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &cp->mutex
TYPE_LOCK (struct pvr2_ioread)->mutex

drivers/media/usb/pvrusb2/pvrusb2-ioread.c pvr2_ioread_setup() -> pvr2_ioread_stop()

Type Parameter Key Value
PARAM_VALUE 0 cp 4096-ptr_max
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 1-u64max
CAPPED_DATA 0 &cp->mutex 1
DATA_SOURCE 0 cp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &cp->mutex
HALF_LOCKED2 &vdev->v4l2_dev->mdev->req_queue_mutex
TYPE_LOCK (struct pvr2_ioread)->mutex

drivers/media/usb/pvrusb2/pvrusb2-ioread.c pvr2_ioread_start() -> pvr2_ioread_stop()

Type Parameter Key Value
PARAM_VALUE 0 cp 4096-ptr_max
PARAM_VALUE 0 cp->c_data_ptr 0-9223372036854775807
PARAM_VALUE 0 cp->enabled 0
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 4096-ptr_max
PARAM_VALUE 0 cp->sync_key_len 0,4
BUF_SIZE 0 cp 480
CAPPED_DATA 0 cp->sync_key_len 1
DATA_SOURCE 0 cp $0
PARAM_COMPARE 0 &cp->stream->idle_list != $0->stream->idle_list.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &cp->mutex
TYPE_LOCK (struct pvr2_ioread)->mutex