Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
BUF_SIZE 1 parg 128-16383,u64max
BUF_SIZE 1 parg 128-16383,u64max
DATA_SOURCE 0 arg $2
DATA_SOURCE 3 cmd $1
NOSPEC 1 parg->error_idx
NOSPEC 1 parg->which
USER_DATA 1 parg->blocks 0-4294967295
USER_DATA 1 parg->capability 0-4294967295
USER_DATA 1 parg->code 0-4294967295
USER_DATA 1 parg->default_value s32min-s32max[u]
USER_DATA 1 parg->error_idx 0-4294967295
USER_DATA 1 parg->flags 0-4294967295
USER_DATA 1 parg->format.type 0-14
USER_DATA 1 parg->height 0-4294967295
USER_DATA 1 parg->id 0[c]
USER_DATA 1 parg->index 0-4294967295
USER_DATA 1 parg->interval.denominator 0-4294967295[u]
USER_DATA 1 parg->interval.numerator 0-4294967295
USER_DATA 1 parg->maximum s32min-s32max[u]
USER_DATA 1 parg->minimum s32min-s32max[u]
USER_DATA 1 parg->pad 0
USER_DATA 1 parg->step s32min-s32max[u]
USER_DATA 1 parg->timings.bt.width 1-4294967295[u]
USER_DATA 1 parg->type 0-4294967295
USER_DATA 1 parg->value s64min-s64max[u]
USER_DATA 1 parg->which 0-4294967295
USER_DATA 1 parg->width 0-4294967295
USER_DATA 1 *parg s64min-s64max
USER_DATA 2 real_cmd 0-3225441829,3225441832-u32max
USER_DATA 3 cmd 0-u32max
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