Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/v4l2-core/v4l2-mem2mem.c v4l2_m2m_dqbuf() -> v4l2_m2m_adjust_mem_offset()

Type Parameter Key Value
PARAM_VALUE 0 vq 4096-ptr_max
PARAM_VALUE 0 vq->done_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 vq->done_wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 vq->done_wq.head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 vq->error 0
PARAM_VALUE 0 vq->fileio 0
PARAM_VALUE 0 vq->last_buffer_dequeued 1
PARAM_VALUE 0 vq->lock->dep_map->name 0-255
PARAM_VALUE 0 vq->lock->first_waiter 0,4096-ptr_max
PARAM_VALUE 0 vq->lock->first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 vq->lock->first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 vq->lock->first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 vq->lock->first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 vq->lock->first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 vq->lock->first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 vq->lock->first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 vq->lock->osq.tail.counter 0-s32max
PARAM_VALUE 0 vq->lock->wait_lock.dep_map->name 0-255
PARAM_VALUE 0 vq->lock->wait_lock.owner (-1)
PARAM_VALUE 0 vq->lock->wait_lock.owner_cpu u32max
PARAM_VALUE 0 vq->streaming 1
PARAM_VALUE 0 vq->type 1-14
PARAM_VALUE 0 vq->waiting_in_dqbuf 0
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 1 buf->reserved2 0
BUF_SIZE 0 vq 632
BUF_SIZE 1 buf (-1),128-16383
BUF_SIZE 1 buf (-1),128-16383
CAPPED_DATA 0 vq->type 1
DATA_SOURCE 0 vq r v4l2_m2m_get_vq
DATA_SOURCE 1 buf $2
PARAM_COMPARE 0 &vq->done_list != $0->done_list.next
NOCHECK_CALL
USER_DATA 1 buf->flags 0-u32max[c][u]
USER_DATA 1 buf->m.fd s32min-s32max[u]
USER_DATA 1 buf->m.offset 0-u32max[u]
USER_DATA 1 buf->m.userptr 0-u64max[u]
USER_DATA 1 buf->request_fd s32min-s32max[u]
USER_DATA 1 buf->reserved 0-u32max[u]
USER_PTR 1 buf
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock

drivers/media/v4l2-core/v4l2-mem2mem.c v4l2_m2m_prepare_buf() -> v4l2_m2m_adjust_mem_offset()

Type Parameter Key Value
PARAM_VALUE 0 vq 4096-ptr_max
PARAM_VALUE 0 vq->bufs 4096-ptr_max
PARAM_VALUE 0 vq->fileio 0
PARAM_VALUE 0 vq->max_num_buffers 1-u32max
PARAM_VALUE 0 vq->type 1-2,4-14
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 1 buf->reserved2 0
BUF_SIZE 0 vq 632
BUF_SIZE 1 buf (-1),128-16383
BUF_SIZE 1 buf (-1),128-16383
CAPPED_DATA 0 vq->max_num_buffers 1
CAPPED_DATA 0 vq->memory 1
CAPPED_DATA 0 vq->type 1
DATA_SOURCE 0 vq r v4l2_m2m_get_vq
DATA_SOURCE 1 buf $2
NOCHECK_CALL
USER_DATA 1 buf->bytesused 0-u32max[u]
USER_DATA 1 buf->field 0-u32max[u]
USER_DATA 1 buf->flags 0,8388608-u32max[u]
USER_DATA 1 buf->index 0-4294967294[u]
USER_DATA 1 buf->length 0-u32max[u]
USER_DATA 1 buf->m.fd s32min-s32max[u]
USER_DATA 1 buf->m.offset 0-u32max[u]
USER_DATA 1 buf->m.userptr 0-u64max[u]
USER_DATA 1 buf->memory 0-u32max[u]
USER_DATA 1 buf->request_fd s32min-s32max[u]
USER_DATA 1 buf->reserved 0-u32max[u]
USER_DATA 1 buf->reserved2 0[u]
USER_DATA 1 buf->sequence 0-u32max[u]
USER_DATA 1 buf->timecode.flags 0-u32max[u]
USER_DATA 1 buf->timecode.frames 0-255[u]
USER_DATA 1 buf->timecode.hours 0-255[u]
USER_DATA 1 buf->timecode.minutes 0-255[u]
USER_DATA 1 buf->timecode.seconds 0-255[u]
USER_DATA 1 buf->timecode.type 0-u32max[u]
USER_DATA 1 buf->timestamp.tv_sec s64min-s64max[u]
USER_DATA 1 buf->timestamp.tv_usec s64min-s64max[u]
USER_DATA 1 buf->type 1-2,4-14[u]
USER_PTR 1 buf
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock

drivers/media/v4l2-core/v4l2-mem2mem.c v4l2_m2m_qbuf() -> v4l2_m2m_adjust_mem_offset()

Type Parameter Key Value
PARAM_VALUE 0 vq 4096-ptr_max
PARAM_VALUE 0 vq->bufs 4096-ptr_max
PARAM_VALUE 0 vq->error 0
PARAM_VALUE 0 vq->fileio 0
PARAM_VALUE 0 vq->max_num_buffers 1-u32max
PARAM_VALUE 0 vq->mem_ops->vaddr 0,4096-ptr_max
PARAM_VALUE 0 vq->queued_list.prev 4096-ptr_max
PARAM_VALUE 0 vq->queued_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 vq->start_streaming_called 1
PARAM_VALUE 0 vq->type 1-2,4-14
PARAM_VALUE 0 vq->waiting_for_buffers 0
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 1 buf->reserved2 0
BUF_SIZE 0 vq 632
BUF_SIZE 1 buf (-1),128-16383
BUF_SIZE 1 buf (-1),128-16383
CAPPED_DATA 0 vq->max_num_buffers 1
CAPPED_DATA 0 vq->memory 1
CAPPED_DATA 0 vq->type 1
DATA_SOURCE 0 vq r v4l2_m2m_get_vq
DATA_SOURCE 1 buf $2
FUZZY_MAX 0 vq->type 14
NOCHECK_CALL
USER_DATA 1 buf->flags 0,8388608-u32max[u]
USER_DATA 1 buf->m.fd s32min-s32max[u]
USER_DATA 1 buf->m.offset 0-u32max[u]
USER_DATA 1 buf->m.userptr 0-u64max[u]
USER_DATA 1 buf->request_fd s32min-s32max[u]
USER_DATA 1 buf->reserved 0-u32max[u]
USER_PTR 1 buf
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock

drivers/media/v4l2-core/v4l2-mem2mem.c v4l2_m2m_querybuf() -> v4l2_m2m_adjust_mem_offset()

Type Parameter Key Value
PARAM_VALUE 0 vq 4096-ptr_max
PARAM_VALUE 0 vq->buf_ops 0,4096-ptr_max
PARAM_VALUE 0 vq->bufs 4096-ptr_max
PARAM_VALUE 0 vq->max_num_buffers 1-u32max
PARAM_VALUE 0 vq->type 1-14
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 1 buf->reserved2 0
BUF_SIZE 0 vq 632
BUF_SIZE 1 buf (-1),128-16383
BUF_SIZE 1 buf (-1),128-16383
CAPPED_DATA 0 vq->max_num_buffers 1
CAPPED_DATA 0 vq->type 1
DATA_SOURCE 0 vq r v4l2_m2m_get_vq
DATA_SOURCE 1 buf $2
NOCHECK_CALL
USER_DATA 1 buf->m.fd s32min-s32max[u]
USER_DATA 1 buf->m.offset 0-u32max[u]
USER_DATA 1 buf->m.userptr 0-u64max[u]
USER_DATA 1 buf->request_fd s32min-s32max[u]
USER_DATA 1 buf->reserved 0-u32max[u]
USER_PTR 1 buf
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock