Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/usb/uvc/uvc_ctrl.c uvc_ctrl_add_event() -> uvc_ctrl_fill_event()

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 ev 6987045179070828544
PARAM_VALUE 2 ctrl 4096-ptr_max
PARAM_VALUE 2 ctrl->initialized 1
PARAM_VALUE 3 mapping 4096-ptr_max
PARAM_VALUE 3 mapping->id 0-4294967295
PARAM_VALUE 4 value 0-s32max
PARAM_VALUE 5 changes 2-3
CAPPED_DATA 0 &chain->ctrl_mutex 1
DATA_SOURCE 2 ctrl r uvc_find_control
FUZZY_MAX 4 value 0
FUZZY_MAX 5 changes 2
BIT_INFO 5 changes 0x2,0x3
NOCHECK_CALL
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_send_event() -> uvc_ctrl_fill_event()

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 ev 7191118314828763136
PARAM_VALUE 2 ctrl 4096-ptr_max
PARAM_VALUE 3 mapping 4096-ptr_max
PARAM_VALUE 5 changes 1-3
CAPPED_DATA 3 &mapping->ev_subs 1
DATA_SOURCE 0 chain $0
DATA_SOURCE 2 ctrl $2
DATA_SOURCE 3 mapping $3
DATA_SOURCE 4 value $4
DATA_SOURCE 5 changes $5
FUZZY_MAX 5 changes 2
PARAM_COMPARE 3 &mapping->ev_subs != $3->ev_subs.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 4 value unit_array_size
HALF_LOCKED2 0 &chain->ctrl_mutex