Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/v4l2-core/v4l2-subdev.c subdev_do_ioctl_lock() -> subdev_ioctl_get_state()

Type Parameter Key Value
BUF_SIZE 0 sd s32min-(-2),1-s32max
BUF_SIZE 0 sd s32min-(-2),1-s32max
BUF_SIZE 3 arg (-1),128-16383
BUF_SIZE 3 arg (-1),128-16383
DATA_SOURCE 0 sd r video_get_drvdata
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 lock