Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/media/usb/uvc/uvc_ctrl.c __uvc_query_v4l2_ctrl() -> __uvc_ctrl_get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| 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.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | chain->dev->intf->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | ctrl | 4096-ptr_max |
| PARAM_VALUE | 1 | ctrl->initialized | 1 |
| PARAM_VALUE | 2 | mapping | 4096-ptr_max |
| PARAM_VALUE | 2 | mapping->id | 1-4294967295 |
| PARAM_VALUE | 2 | mapping->v4l2_type | 0-255 |
| PARAM_VALUE | 3 | value | 5223021211335675904 |
| DATA_SOURCE | 0 | chain | $0 |
| BIT_INFO | 1 | ctrl->info.flags | 0x2,0xffffffffffffffff |
| HARD_MAX | 2 | mapping->v4l2_type | 255 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | chain->dev->int_urb->transfer_buffer_length | |
| HALF_LOCKED2 | 0 | &chain->ctrl_mutex |
drivers/media/usb/uvc/uvc_ctrl.c uvc_ctrl_add_event() -> __uvc_ctrl_get()
| 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-5159360019465732095,5159360019465732097-ptr_max |
| PARAM_VALUE | 0 | chain->ctrl_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | chain->ctrl_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | chain->ctrl_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | chain->ctrl_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | chain->ctrl_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | chain->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | chain->dev->async_ctrl.work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | chain->dev->int_urb->actual_length | 0-s32max |
| PARAM_VALUE | 0 | chain->dev->int_urb->ep | 4096-ptr_max |
| PARAM_VALUE | 0 | chain->dev->int_urb->ep->urb_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | chain->dev->int_urb->ep->urb_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | chain->dev->int_urb->ep->urb_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | chain->dev->int_urb->interval | s32min-32768 |
| PARAM_VALUE | 0 | chain->dev->int_urb->num_mapped_sgs | 0-s32max |
| PARAM_VALUE | 0 | chain->dev->int_urb->status | (-4095)-0 |
| PARAM_VALUE | 0 | chain->dev->int_urb->transfer_buffer->bDeviceProtocol | 1 |
| PARAM_VALUE | 0 | chain->dev->int_urb->transfer_buffer->bmAttributes | 0-255 |
| PARAM_VALUE | 0 | chain->dev->int_urb->urb_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | chain->dev->int_urb->urb_list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | chain->dev->int_urb->urb_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | chain->dev->int_urb->urb_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | chain->dev->intf | 4096-ptr_max |
| PARAM_VALUE | 0 | chain->dev->intf->dev.power.request | 0-4 |
| PARAM_VALUE | 0 | chain->dev->intf->dev.power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | chain->dev->intf->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | ctrl | 4096-ptr_max |
| PARAM_VALUE | 1 | ctrl->initialized | 1 |
| PARAM_VALUE | 2 | mapping | 4096-ptr_max |
| PARAM_VALUE | 2 | mapping->id | 0-4294967295 |
| PARAM_VALUE | 2 | mapping->v4l2_type | 0-255 |
| PARAM_VALUE | 3 | value | 8708615778050240512 |
| PARAM_VALUE | 3 | *value | 0 |
| CAPPED_DATA | 0 | &chain->ctrl_mutex | 1 |
| DATA_SOURCE | 1 | ctrl | r uvc_find_control |
| HARD_MAX | 2 | mapping->v4l2_type | 255 |
| LOCK2 | &fh->subscribe_lock | ||
| LOCK2 | 0 | &chain->ctrl_mutex | |
| HALF_LOCKED2 | lock | ||
| TYPE_LOCK | (struct uvc_video_chain)->ctrl_mutex | ||
| TYPE_LOCK | (struct v4l2_fh)->subscribe_lock |
drivers/media/usb/uvc/uvc_ctrl.c uvc_ctrl_is_accessible() -> __uvc_ctrl_get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chain | 4096-ptr_max |
| PARAM_VALUE | 1 | ctrl | 4096-ptr_max |
| PARAM_VALUE | 1 | ctrl->initialized | 1 |
| PARAM_VALUE | 2 | mapping | 4096-ptr_max |
| PARAM_VALUE | 2 | mapping->id | 1-4294967295 |
| PARAM_VALUE | 2 | mapping->v4l2_type | 0-255 |
| PARAM_VALUE | 3 | value | 4006833016577196032 |
| DATA_SOURCE | 0 | chain | $0 |
| BIT_INFO | 1 | ctrl->info.flags | 0x2,0xffffffff |
| HARD_MAX | 2 | mapping->v4l2_type | 255 |
| HALF_LOCKED2 | lock | ||
| HALF_LOCKED2 | req_queue_lock |
drivers/media/usb/uvc/uvc_ctrl.c uvc_ctrl_send_slave_event() -> __uvc_ctrl_get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| 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.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | chain->dev->intf->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | ctrl | 4096-ptr_max |
| PARAM_VALUE | 1 | ctrl->initialized | 1 |
| PARAM_VALUE | 2 | mapping | 4096-ptr_max |
| PARAM_VALUE | 2 | mapping->id | 1-4294967295 |
| PARAM_VALUE | 2 | mapping->v4l2_type | 0-255 |
| PARAM_VALUE | 3 | value | 2169126384040419328 |
| PARAM_VALUE | 3 | *value | 0 |
| DATA_SOURCE | 0 | chain | $0 |
| HARD_MAX | 2 | mapping->v4l2_type | 255 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | 0 | &chain->ctrl_mutex |
drivers/media/usb/uvc/uvc_ctrl.c uvc_mapping_get_xctrl_std() -> __uvc_ctrl_get()
| 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-5159360019465732095,5159360019465732097-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 | 0-255 |
| PARAM_VALUE | 3 | value | 4096-ptr_max |
| DATA_SOURCE | 0 | chain | $0 |
| DATA_SOURCE | 1 | ctrl | $1 |
| DATA_SOURCE | 2 | mapping | $2 |
| HARD_MAX | 2 | mapping->v4l2_type | 255 |
| HALF_LOCKED2 | lock | ||
| HALF_LOCKED2 | req_queue_lock |