Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/v4l2-core/v4l2-compat-ioctl32.c v4l2_compat_ioctl32() -> (struct v4l2_file_operations)->compat_ioctl32()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->f_op 4096-ptr_max
PARAM_VALUE 0 file->f_op->unlocked_ioctl 1-u64max
PARAM_VALUE 1 cmd 0-1074041864,1074041866-1076647975,1076647980-1076647992,1076647994-u32max
DATA_SOURCE 0 file $0
DATA_SOURCE 1 cmd $1
DATA_SOURCE 2 arg $2
FUZZY_MAX 1 cmd 2148034049
USER_DATA 1 cmd 0-1074030081,1074030083-1074041864,1074041866-1076647975
USER_DATA 2 arg 0-u32max