Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/common/videobuf2/videobuf2-v4l2.c vb2_queue_or_prepare_buf() -> set_buffer_cache_hints()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 1 vb 4096-ptr_max
PARAM_VALUE 2 b 4096-ptr_max
PARAM_VALUE 2 b->flags 8388608-u32max
BUF_SIZE 0 q (-1),632
BUF_SIZE 0 q (-1),632
BUF_SIZE 2 b (-1),128-16383
BUF_SIZE 2 b (-1),128-16383
CAPPED_DATA 0 q->max_num_buffers 1
CAPPED_DATA 0 q->memory 1
CAPPED_DATA 0 q->type 1
CAPPED_DATA 2 b->index 1
CAPPED_DATA 2 b->memory 1
CAPPED_DATA 2 b->type 1
DATA_SOURCE 0 q $0
DATA_SOURCE 1 vb $2
DATA_SOURCE 2 b $3
PARAM_COMPARE 2 b->memory == $0->memory
PARAM_COMPARE 2 b->type == $0->type
NOCHECK_CALL
USER_DATA 2 b->bytesused 0-u32max[u]
USER_DATA 2 b->field 0-u32max[u]
USER_DATA 2 b->flags 8388608-u32max[u]
USER_DATA 2 b->index 0-4294967294[c]
USER_DATA 2 b->length 0-u32max[u]
USER_DATA 2 b->m.fd s32min-s32max[u]
USER_DATA 2 b->m.offset 0-u32max[u]
USER_DATA 2 b->m.userptr 0-u64max[u]
USER_DATA 2 b->request_fd s32min-s32max[u]
USER_DATA 2 b->reserved 0-u32max[u]
USER_DATA 2 b->reserved2 0-u32max[u]
USER_DATA 2 b->sequence 0-u32max[u]
USER_DATA 2 b->timecode.flags 0-u32max[u]
USER_DATA 2 b->timecode.frames 0-255[u]
USER_DATA 2 b->timecode.hours 0-255[u]
USER_DATA 2 b->timecode.minutes 0-255[u]
USER_DATA 2 b->timecode.seconds 0-255[u]
USER_DATA 2 b->timecode.type 0-u32max[u]
USER_DATA 2 b->timestamp.tv_sec s64min-s64max[u]
USER_DATA 2 b->timestamp.tv_usec s64min-s64max[u]
USER_PTR 2 b
HALF_LOCKED2 &video->queue_lock
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock