Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/v4l2-core/v4l2-ioctl.c __video_do_ioctl() -> v4l2_ioctl_get_lock()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
BUF_SIZE 1 vfh s32min-(-2),1-s32max
BUF_SIZE 1 vfh s32min-(-2),1-s32max
BUF_SIZE 3 arg (-1),128-16383
BUF_SIZE 3 arg (-1),128-16383
DATA_SOURCE 0 vdev r video_devdata
DATA_SOURCE 2 cmd $1
DATA_SOURCE 3 arg $2
USER_DATA 2 cmd 0-u32max
USER_DATA 3 *arg s64min-s64max
USER_PTR 3 arg
USER_PTR 3 arg->fmt.pix_mp.plane_fmt
USER_PTR 3 arg->fmt.pix_mp.reserved
USER_PTR 3 arg->fmt.sdr.reserved
USER_PTR 3 arg->fmt.sliced.reserved
USER_PTR 3 arg->fmt.sliced.service_lines
USER_PTR 3 arg->fmt.vbi.count
USER_PTR 3 arg->fmt.vbi.reserved
USER_PTR 3 arg->fmt.vbi.start
USER_PTR 3 arg->format.fmt.pix_mp.plane_fmt
USER_PTR 3 arg->format.fmt.pix_mp.plane_fmt->reserved
USER_PTR 3 arg->format.fmt.pix_mp.reserved
USER_PTR 3 arg->format.fmt.sdr.reserved
USER_PTR 3 arg->format.fmt.sliced.reserved
USER_PTR 3 arg->format.fmt.sliced.service_lines
USER_PTR 3 arg->format.fmt.vbi.count
USER_PTR 3 arg->format.fmt.vbi.reserved
USER_PTR 3 arg->format.fmt.vbi.start
USER_PTR 3 arg->name
USER_PTR 3 arg->reserved
HALF_LOCKED2 req_queue_lock