Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/usb/uvc/uvc_ctrl.c uvc_ctrl_send_events() -> uvc_ctrl_xctrls_has_control()

Type Parameter Key Value
PARAM_VALUE 0 xctrls 4096-ptr_max
PARAM_VALUE 1 xctrls_count 1-u32max
PARAM_VALUE 2 id 9963779,9963790-9963791,9963802,10094850,10094858
BUF_SIZE 0 xctrls (-1),20
BUF_SIZE 0 xctrls (-1),20
CAPPED_DATA 1 xctrls_count 1
DATA_SOURCE 0 xctrls $2
DATA_SOURCE 1 xctrls_count $3
NOSPEC 1 xctrls_count
NOSPEC 1 xctrls_count
USER_DATA 1 xctrls_count 1-s32max[c]
UNITS 1 xctrls_count unit_array_size
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock

drivers/media/usb/uvc/uvc_ctrl.c uvc_ctrl_send_events() -> uvc_ctrl_xctrls_has_control()

Type Parameter Key Value
PARAM_VALUE 0 xctrls 4096-ptr_max
PARAM_VALUE 1 xctrls_count 1-u32max
PARAM_VALUE 2 id 1-u32max
BUF_SIZE 0 xctrls (-1),20
BUF_SIZE 0 xctrls (-1),20
CAPPED_DATA 1 xctrls_count 1
DATA_SOURCE 0 xctrls $2
DATA_SOURCE 1 xctrls_count $3
NOSPEC 1 xctrls_count
NOSPEC 1 xctrls_count
USER_DATA 1 xctrls_count 1-s32max[c]
UNITS 1 xctrls_count unit_array_size
UNITS 2 id unit_array_size
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock