Open Menu /

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/media/platform/amphion/venc.c venc_init() -> venc_s_parm()

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 a 2748842410513973248
PARAM_VALUE 2 a->parm.capture.timeperframe.denominator 30
PARAM_VALUE 2 a->parm.capture.timeperframe.numerator 1
PARAM_VALUE 2 a->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 a
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_parm() -> (struct v4l2_ioctl_ops)->vidioc_s_parm()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 1 fh 0
PARAM_VALUE 2 a 4096-ptr_max
PARAM_VALUE 2 a->parm.capture.capturemode 0-1
PARAM_VALUE 2 a->parm.capture.extendedmode 0
PARAM_VALUE 2 a->type 1-2,4-14
BUF_SIZE 2 a (-1),128-16383
BUF_SIZE 2 a (-1),128-16383
DATA_SOURCE 0 file $1
DATA_SOURCE 2 a $2
USER_DATA 2 a->parm.capture.capability 0-u32max[u]
USER_DATA 2 a->parm.capture.capturemode 0-1[c][u]
USER_DATA 2 a->parm.capture.extendedmode 0[u]
USER_DATA 2 a->parm.capture.readbuffers 0-u32max[u]
USER_DATA 2 a->parm.capture.timeperframe.denominator 0-u32max[u]
USER_DATA 2 a->parm.capture.timeperframe.numerator 0-u32max[u]
USER_DATA 2 a->parm.output.capability 0-u32max[u]
USER_DATA 2 a->parm.output.extendedmode 0-u32max[u]
USER_DATA 2 a->parm.output.outputmode 0-u32max[u]
USER_DATA 2 a->parm.output.timeperframe.denominator 0-u32max[u]
USER_DATA 2 a->parm.output.timeperframe.numerator 0-u32max[u]
USER_DATA 2 a->parm.output.writebuffers 0-u32max[u]
USER_DATA 2 a->type 1,4,6,9,11,13[u]
USER_PTR 2 a
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock