Open Menu /

Defined in 1 files as a member:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/media/v4l2-core/v4l2-ioctl.c v4l_create_bufs() -> check_fmt()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $1
USER_DATA 1 type 0-u32max[u]
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock

drivers/media/v4l2-core/v4l2-ioctl.c v4l_dqbuf() -> check_fmt()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $1
USER_DATA 1 type 0-u32max[u]
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock

drivers/media/v4l2-core/v4l2-ioctl.c v4l_enum_fmt() -> check_fmt()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $1
USER_DATA 1 type 0-u32max[u]
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock

drivers/media/v4l2-core/v4l2-ioctl.c v4l_g_fmt() -> check_fmt()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $1
USER_DATA 1 type 0-u32max[u]
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock

drivers/media/v4l2-core/v4l2-ioctl.c v4l_g_parm() -> check_fmt()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $1
USER_DATA 1 type 0-u32max[u]
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock

drivers/media/v4l2-core/v4l2-ioctl.c v4l_g_sliced_vbi_cap() -> check_fmt()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $1
USER_DATA 1 type 0-u32max[u]
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock

drivers/media/v4l2-core/v4l2-ioctl.c v4l_prepare_buf() -> check_fmt()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $1
USER_DATA 1 type 0-u32max[u]
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock

drivers/media/v4l2-core/v4l2-ioctl.c v4l_qbuf() -> check_fmt()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $1
USER_DATA 1 type 0-u32max[u]
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock

drivers/media/v4l2-core/v4l2-ioctl.c v4l_querybuf() -> check_fmt()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $1
USER_DATA 1 type 0-u32max[u]
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock

drivers/media/v4l2-core/v4l2-ioctl.c v4l_reqbufs() -> check_fmt()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $1
USER_DATA 1 type 0-u32max[u]
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock

drivers/media/v4l2-core/v4l2-ioctl.c v4l_s_fmt() -> check_fmt()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $1
USER_DATA 1 type 0-u32max[u]
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock

drivers/media/v4l2-core/v4l2-ioctl.c v4l_s_parm() -> check_fmt()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $1
USER_DATA 1 type 0-u32max[u]
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock

drivers/media/v4l2-core/v4l2-ioctl.c v4l_try_fmt() -> check_fmt()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $1
USER_DATA 1 type 0-u32max[u]
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock