Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/media/common/videobuf2/videobuf2-v4l2.c __copy_timestamp() -> v4l2_buffer_get_timestamp()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
BUF_SIZE 0 buf (-1),128-16383
BUF_SIZE 0 buf (-1),128-16383
DATA_SOURCE 0 buf $1
RX_PATH
USER_DATA 0 buf->bytesused 0-u32max[u]
USER_DATA 0 buf->field 0-u32max[u]
USER_DATA 0 buf->flags 0-u32max[u]
USER_DATA 0 buf->index 0-u32max[u]
USER_DATA 0 buf->length 0-u32max[u]
USER_DATA 0 buf->m.fd s32min-s32max[u]
USER_DATA 0 buf->m.offset 0-u32max[u]
USER_DATA 0 buf->m.userptr 0-u64max[u]
USER_DATA 0 buf->memory 0-u32max[u]
USER_DATA 0 buf->request_fd s32min-s32max[u]
USER_DATA 0 buf->reserved 0-u32max[u]
USER_DATA 0 buf->reserved2 0-u32max[u]
USER_DATA 0 buf->sequence 0-u32max[u]
USER_DATA 0 buf->timecode.flags 0-u32max[u]
USER_DATA 0 buf->timecode.frames 0-255[u]
USER_DATA 0 buf->timecode.hours 0-255[u]
USER_DATA 0 buf->timecode.minutes 0-255[u]
USER_DATA 0 buf->timecode.seconds 0-255[u]
USER_DATA 0 buf->timecode.type 0-u32max[u]
USER_DATA 0 buf->timestamp.tv_sec s64min-s64max[u]
USER_DATA 0 buf->timestamp.tv_usec s64min-s64max[u]
USER_DATA 0 buf->type 0-u32max[u]
USER_PTR 0 buf