Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/v4l2-core/v4l2-ioctl.c video_usercopy() -> video_usercopy param 3()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
BUF_SIZE 2 arg 128-16383,u64max
BUF_SIZE 2 arg 128-16383,u64max
DATA_SOURCE 0 file $0
USER_DATA 1 cmd 0-u32max
USER_DATA 2 arg->capability 0-4294967295
USER_DATA 2 arg->flags 0-4294967295
USER_DATA 2 arg->format.type 0-14
USER_DATA 2 arg->index 0-4294967295
USER_DATA 2 arg->type 0-4294967295
USER_DATA 2 *arg s64min-s64max
NO_OVERFLOW_SIMPLE 2 &arg->flags
NO_OVERFLOW_SIMPLE 2 &arg->fmt
NO_OVERFLOW_SIMPLE 2 &arg->fmt.meta
NO_OVERFLOW_SIMPLE 2 &arg->fmt.pix
NO_OVERFLOW_SIMPLE 2 &arg->fmt.pix_mp
NO_OVERFLOW_SIMPLE 2 &arg->fmt.sdr
NO_OVERFLOW_SIMPLE 2 &arg->fmt.sliced
NO_OVERFLOW_SIMPLE 2 &arg->fmt.vbi
NO_OVERFLOW_SIMPLE 2 &arg->format.fmt.meta
NO_OVERFLOW_SIMPLE 2 &arg->format.fmt.pix
NO_OVERFLOW_SIMPLE 2 &arg->format.fmt.pix_mp
NO_OVERFLOW_SIMPLE 2 &arg->format.fmt.sdr
NO_OVERFLOW_SIMPLE 2 &arg->format.fmt.sliced
NO_OVERFLOW_SIMPLE 2 &arg->format.fmt.vbi
NO_OVERFLOW_SIMPLE 2 &arg->max_num_buffers
USER_PTR 2 arg
USER_PTR 2 arg->fmt.pix_mp.plane_fmt
USER_PTR 2 arg->fmt.pix_mp.reserved
USER_PTR 2 arg->fmt.sdr.reserved
USER_PTR 2 arg->fmt.sliced.reserved
USER_PTR 2 arg->fmt.sliced.service_lines
USER_PTR 2 arg->fmt.vbi.count
USER_PTR 2 arg->fmt.vbi.reserved
USER_PTR 2 arg->fmt.vbi.start
USER_PTR 2 arg->format.fmt.pix_mp.plane_fmt
USER_PTR 2 arg->format.fmt.pix_mp.plane_fmt->reserved
USER_PTR 2 arg->format.fmt.pix_mp.reserved
USER_PTR 2 arg->format.fmt.sdr.reserved
USER_PTR 2 arg->format.fmt.sliced.reserved
USER_PTR 2 arg->format.fmt.sliced.service_lines
USER_PTR 2 arg->format.fmt.vbi.count
USER_PTR 2 arg->format.fmt.vbi.reserved
USER_PTR 2 arg->format.fmt.vbi.start
USER_PTR 2 arg->name
USER_PTR 2 arg->reserved