Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/v4l2-core/v4l2-subdev.c subdev_do_ioctl_lock() -> subdev_do_ioctl()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 3 state 0,4096-ptr_max
PARAM_VALUE 3 state->lock->dep_map->name 0-255
PARAM_VALUE 3 state->lock->first_waiter 0,4096-ptr_max
PARAM_VALUE 3 state->lock->first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 3 state->lock->osq.tail.counter 0-s32max
PARAM_VALUE 3 state->lock->wait_lock.dep_map->name 0-255
PARAM_VALUE 3 state->lock->wait_lock.owner (-1)
PARAM_VALUE 3 state->lock->wait_lock.owner_cpu u32max
BUF_SIZE 2 arg (-1),128-16383
BUF_SIZE 2 arg (-1),128-16383
DATA_SOURCE 0 file $0
DATA_SOURCE 1 cmd $1
DATA_SOURCE 2 arg $2
DATA_SOURCE 3 state r subdev_ioctl_get_state
USER_DATA 1 cmd 0-u32max
USER_DATA 2 *arg s64min-s64max
USER_PTR 2 arg
USER_PTR 2 arg->fmt.pix_mp.plane_fmt
USER_PTR 2 arg->fmt.pix_mp.reserved
USER_PTR 2 arg->fmt.sdr.reserved
USER_PTR 2 arg->fmt.sliced.reserved
USER_PTR 2 arg->fmt.sliced.service_lines
USER_PTR 2 arg->fmt.vbi.count
USER_PTR 2 arg->fmt.vbi.reserved
USER_PTR 2 arg->fmt.vbi.start
USER_PTR 2 arg->format.fmt.pix_mp.plane_fmt
USER_PTR 2 arg->format.fmt.pix_mp.plane_fmt->reserved
USER_PTR 2 arg->format.fmt.pix_mp.reserved
USER_PTR 2 arg->format.fmt.sdr.reserved
USER_PTR 2 arg->format.fmt.sliced.reserved
USER_PTR 2 arg->format.fmt.sliced.service_lines
USER_PTR 2 arg->format.fmt.vbi.count
USER_PTR 2 arg->format.fmt.vbi.reserved
USER_PTR 2 arg->format.fmt.vbi.start
USER_PTR 2 arg->name
USER_PTR 2 arg->reserved
HALF_LOCKED2 lock
HALF_LOCKED2 3 state->lock