Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/usb/uvc/uvc_ctrl.c uvc_mapping_get_xctrl() -> uvc_mapping_get_xctrl_compound()

Type Parameter Key Value
PARAM_VALUE 0 chain 4096-ptr_max
PARAM_VALUE 0 chain->ctrl_mutex.dep_map->name 0-255
PARAM_VALUE 0 chain->ctrl_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 chain->ctrl_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 chain->ctrl_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 chain->ctrl_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 ctrl 4096-ptr_max
PARAM_VALUE 1 ctrl->initialized 1
PARAM_VALUE 2 mapping 4096-ptr_max
PARAM_VALUE 2 mapping->v4l2_type 256-u32max
PARAM_VALUE 3 which 0,251658240,251789312,251854848
PARAM_VALUE 4 xctrl 4096-ptr_max
BUF_SIZE 4 xctrl (-1),20
BUF_SIZE 4 xctrl (-1),20
CAPPED_DATA 3 which 1
CAPPED_DATA 4 xctrl->id 1
DATA_SOURCE 0 chain $0
DATA_SOURCE 1 ctrl $1
DATA_SOURCE 2 mapping $2
DATA_SOURCE 3 which $3
DATA_SOURCE 4 xctrl $4
FUZZY_MAX 3 which 0
NOSPEC 3 which
NOSPEC 3 which
USER_DATA 3 which 0,251658240,251789312,251854848[c]
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock