Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 2 array_size 5897620862838292480
PARAM_VALUE 2 *array_size 0
PARAM_VALUE 3 user_ptr 576502878415859712
PARAM_VALUE 3 *user_ptr 0
PARAM_VALUE 4 kernel_ptr 3655863489387589632
PARAM_VALUE 4 *kernel_ptr 0
BUF_SIZE 1 parg 128-16383,u64max
BUF_SIZE 1 parg 128-16383,u64max
USER_DATA 0 cmd 0-u32max
USER_DATA 1 parg->capability 0-4294967295
USER_DATA 1 parg->flags 0-4294967295
USER_DATA 1 parg->format.type 0-14
USER_DATA 1 parg->index 0-4294967295
USER_DATA 1 parg->type 0-4294967295
USER_DATA 1 *parg s64min-s64max
NO_OVERFLOW_SIMPLE 1 &parg->flags
NO_OVERFLOW_SIMPLE 1 &parg->fmt
NO_OVERFLOW_SIMPLE 1 &parg->fmt.meta
NO_OVERFLOW_SIMPLE 1 &parg->fmt.pix
NO_OVERFLOW_SIMPLE 1 &parg->fmt.pix_mp
NO_OVERFLOW_SIMPLE 1 &parg->fmt.sdr
NO_OVERFLOW_SIMPLE 1 &parg->fmt.sliced
NO_OVERFLOW_SIMPLE 1 &parg->fmt.vbi
NO_OVERFLOW_SIMPLE 1 &parg->format.fmt.meta
NO_OVERFLOW_SIMPLE 1 &parg->format.fmt.pix
NO_OVERFLOW_SIMPLE 1 &parg->format.fmt.pix_mp
NO_OVERFLOW_SIMPLE 1 &parg->format.fmt.sdr
NO_OVERFLOW_SIMPLE 1 &parg->format.fmt.sliced
NO_OVERFLOW_SIMPLE 1 &parg->format.fmt.vbi
NO_OVERFLOW_SIMPLE 1 &parg->max_num_buffers
USER_PTR 1 parg
USER_PTR 1 parg->fmt.pix_mp.plane_fmt
USER_PTR 1 parg->fmt.pix_mp.reserved
USER_PTR 1 parg->fmt.sdr.reserved
USER_PTR 1 parg->fmt.sliced.reserved
USER_PTR 1 parg->fmt.sliced.service_lines
USER_PTR 1 parg->fmt.vbi.count
USER_PTR 1 parg->fmt.vbi.reserved
USER_PTR 1 parg->fmt.vbi.start
USER_PTR 1 parg->format.fmt.pix_mp.plane_fmt
USER_PTR 1 parg->format.fmt.pix_mp.plane_fmt->reserved
USER_PTR 1 parg->format.fmt.pix_mp.reserved
USER_PTR 1 parg->format.fmt.sdr.reserved
USER_PTR 1 parg->format.fmt.sliced.reserved
USER_PTR 1 parg->format.fmt.sliced.service_lines
USER_PTR 1 parg->format.fmt.vbi.count
USER_PTR 1 parg->format.fmt.vbi.reserved
USER_PTR 1 parg->format.fmt.vbi.start
USER_PTR 1 parg->name
USER_PTR 1 parg->reserved