Defined in 3 files as a function:
- drivers/media/platform/amphion/vdec.c, line 591 (as a function)
- drivers/media/platform/qcom/venus/vdec.c, line 320 (as a function)
- drivers/staging/media/meson/vdec/vdec.c, line 595 (as a function)
Referenced in 3 files:
- drivers/media/platform/amphion/vdec.c
- drivers/media/platform/qcom/venus/vdec.c
- drivers/staging/media/meson/vdec/vdec.c
Smatch caller information:
drivers/media/platform/amphion/vdec.c vdec_init() -> vdec_s_fmt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_cred->process_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | file->f_cred->process_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | file->f_cred->request_key_auth->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | file->f_cred->request_key_auth->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | file->f_cred->session_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | file->f_cred->session_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | file->f_cred->thread_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | file->f_cred->thread_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | file->f_path.dentry->d_sb->s_cop->empty_dir | 0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144 |
| PARAM_VALUE | 0 | file->f_path.dentry->d_sb->s_cop->get_context | 0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416 |
| PARAM_VALUE | 0 | file->f_path.dentry->d_sb->s_cop->set_context | 0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112 |
| PARAM_VALUE | 0 | file->private_data | 4096-ptr_max |
| PARAM_VALUE | 1 | fh | 4096-ptr_max |
| PARAM_VALUE | 2 | f | 3415455891028492288 |
| PARAM_VALUE | 2 | f->fmt.pix_mp.field | 1 |
| PARAM_VALUE | 2 | f->fmt.pix_mp.height | 720 |
| PARAM_VALUE | 2 | f->fmt.pix_mp.pixelformat | 875967048 |
| PARAM_VALUE | 2 | f->fmt.pix_mp.width | 1280 |
| PARAM_VALUE | 2 | f->type | 10 |
| BUF_SIZE | 0 | file | (-1),1-s32max |
| BUF_SIZE | 0 | file | (-1),1-s32max |
| BUF_SIZE | 0 | file->__f_path.dentry | (-1)-s32max |
| BUF_SIZE | 1 | fh | 328 |
| DATA_SOURCE | 0 | file | $0 |
| MEM_ZERO | 2 | f | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | file->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | file->f_flags | 0-u32max |
| USER_DATA | 0 | file->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | file->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | file->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | file->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | file->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | file->f_path.dentry->d_inode->i_size | |
| USER_PTR | 0 | file->__f_path.dentry->__d_name.name |
drivers/media/platform/amphion/vdec.c vdec_init() -> vdec_s_fmt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_cred->process_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | file->f_cred->process_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | file->f_cred->request_key_auth->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | file->f_cred->request_key_auth->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | file->f_cred->session_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | file->f_cred->session_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | file->f_cred->thread_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | file->f_cred->thread_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | file->f_path.dentry->d_sb->s_cop->empty_dir | 0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144 |
| PARAM_VALUE | 0 | file->f_path.dentry->d_sb->s_cop->get_context | 0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416 |
| PARAM_VALUE | 0 | file->f_path.dentry->d_sb->s_cop->set_context | 0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112 |
| PARAM_VALUE | 0 | file->private_data | 4096-ptr_max |
| PARAM_VALUE | 1 | fh | 4096-ptr_max |
| PARAM_VALUE | 2 | f | 3415455891028492288 |
| PARAM_VALUE | 2 | f->fmt.pix_mp.field | 1 |
| PARAM_VALUE | 2 | f->fmt.pix_mp.height | 720 |
| PARAM_VALUE | 2 | f->fmt.pix_mp.pixelformat | 842088782 |
| PARAM_VALUE | 2 | f->fmt.pix_mp.width | 1280 |
| PARAM_VALUE | 2 | f->type | 9 |
| BUF_SIZE | 0 | file | (-1),1-s32max |
| BUF_SIZE | 0 | file | (-1),1-s32max |
| BUF_SIZE | 0 | file->__f_path.dentry | (-1)-s32max |
| BUF_SIZE | 1 | fh | 328 |
| DATA_SOURCE | 0 | file | $0 |
| MEM_ZERO | 2 | f | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | file->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | file->f_flags | 0-u32max |
| USER_DATA | 0 | file->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | file->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | file->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | file->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | file->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | file->f_path.dentry->d_inode->i_size | |
| USER_PTR | 0 | file->__f_path.dentry->__d_name.name |
drivers/media/v4l2-core/v4l2-ioctl.c v4l_s_fmt() -> (struct v4l2_ioctl_ops)->vidioc_s_fmt_vid_cap_mplane()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 1 | fh | 0 |
| PARAM_VALUE | 2 | f | 4096-ptr_max |
| BUF_SIZE | 2 | f | (-1),128-16383 |
| DATA_SOURCE | 0 | file | $1 |
| DATA_SOURCE | 2 | f | $2 |
| USER_DATA | 2 | f->fmt.meta.buffersize | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.meta.bytesperline | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.meta.dataformat | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.meta.height | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.meta.width | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.pix.bytesperline | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.pix.colorspace | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.pix.field | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.pix.flags | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.pix.height | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.pix.hsv_enc | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.pix.pixelformat | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.pix.priv | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.pix.quantization | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.pix.sizeimage | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.pix.width | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.pix.xfer_func | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.pix.ycbcr_enc | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.pix_mp.colorspace | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.pix_mp.field | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.pix_mp.flags | 0-255[u] |
| USER_DATA | 2 | f->fmt.pix_mp.height | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.pix_mp.hsv_enc | 0-255[u] |
| USER_DATA | 2 | f->fmt.pix_mp.num_planes | 0-255[u] |
| USER_DATA | 2 | f->fmt.pix_mp.pixelformat | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.pix_mp.quantization | 0-255[u] |
| USER_DATA | 2 | f->fmt.pix_mp.width | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.pix_mp.xfer_func | 0-255[u] |
| USER_DATA | 2 | f->fmt.pix_mp.ycbcr_enc | 0-255[u] |
| USER_DATA | 2 | f->fmt.sdr.buffersize | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.sdr.pixelformat | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.sliced.io_size | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.sliced.service_set | 0-u16max[u] |
| USER_DATA | 2 | f->fmt.vbi.flags | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.vbi.offset | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.vbi.sample_format | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.vbi.samples_per_line | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.vbi.sampling_rate | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.win.chromakey | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.win.clipcount | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.win.field | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.win.global_alpha | 0-255[u] |
| USER_DATA | 2 | f->fmt.win.w.height | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.win.w.left | s32min-s32max[u] |
| USER_DATA | 2 | f->fmt.win.w.top | s32min-s32max[u] |
| USER_DATA | 2 | f->fmt.win.w.width | 0-u32max[u] |
| USER_DATA | 2 | f->type | 0-u32max[u] |
| USER_PTR | 2 | f | |
| HALF_LOCKED2 | lock | ||
| HALF_LOCKED2 | req_queue_lock |
drivers/media/v4l2-core/v4l2-ioctl.c v4l_s_fmt() -> (struct v4l2_ioctl_ops)->vidioc_s_fmt_vid_out_mplane()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 1 | fh | 0 |
| PARAM_VALUE | 2 | f | 4096-ptr_max |
| BUF_SIZE | 2 | f | (-1),128-16383 |
| DATA_SOURCE | 0 | file | $1 |
| DATA_SOURCE | 2 | f | $2 |
| USER_DATA | 2 | f->fmt.meta.buffersize | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.meta.bytesperline | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.meta.dataformat | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.meta.height | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.meta.width | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.pix.bytesperline | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.pix.colorspace | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.pix.field | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.pix.flags | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.pix.height | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.pix.hsv_enc | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.pix.pixelformat | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.pix.priv | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.pix.quantization | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.pix.sizeimage | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.pix.width | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.pix.xfer_func | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.pix.ycbcr_enc | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.pix_mp.colorspace | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.pix_mp.field | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.pix_mp.flags | 0-255[u] |
| USER_DATA | 2 | f->fmt.pix_mp.height | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.pix_mp.hsv_enc | 0-255[u] |
| USER_DATA | 2 | f->fmt.pix_mp.num_planes | 0-255[u] |
| USER_DATA | 2 | f->fmt.pix_mp.pixelformat | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.pix_mp.quantization | 0-255[u] |
| USER_DATA | 2 | f->fmt.pix_mp.width | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.pix_mp.xfer_func | 0-255[u] |
| USER_DATA | 2 | f->fmt.pix_mp.ycbcr_enc | 0-255[u] |
| USER_DATA | 2 | f->fmt.sdr.buffersize | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.sdr.pixelformat | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.sliced.io_size | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.sliced.service_set | 0-u16max[u] |
| USER_DATA | 2 | f->fmt.vbi.flags | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.vbi.offset | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.vbi.sample_format | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.vbi.samples_per_line | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.vbi.sampling_rate | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.win.chromakey | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.win.clipcount | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.win.field | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.win.global_alpha | 0-255[u] |
| USER_DATA | 2 | f->fmt.win.w.height | 0-u32max[u] |
| USER_DATA | 2 | f->fmt.win.w.left | s32min-s32max[u] |
| USER_DATA | 2 | f->fmt.win.w.top | s32min-s32max[u] |
| USER_DATA | 2 | f->fmt.win.w.width | 0-u32max[u] |
| USER_DATA | 2 | f->type | 0-u32max[u] |
| USER_PTR | 2 | f | |
| HALF_LOCKED2 | lock | ||
| HALF_LOCKED2 | req_queue_lock |