Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/media/usb/pvrusb2/pvrusb2-encoder.c pvr2_encoder_cmd() -> pvr2_encoder_write_words()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hdw | 4096-ptr_max |
| PARAM_VALUE | 0 | hdw->ctl_lock_held | 1 |
| PARAM_VALUE | 0 | hdw->ctl_lock_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdw->ctl_lock_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdw->ctl_lock_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | hdw->ctl_lock_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | hdw->ctl_lock_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdw->ctl_lock_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | hdw->ctl_lock_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | hdw->state_encoder_ok | s32min-(-1),1-s32max |
| PARAM_VALUE | 1 | offs | 68 |
| PARAM_VALUE | 2 | data | 4096-ptr_max |
| PARAM_VALUE | 3 | dlen | 12-u32max |
| BUF_SIZE | 2 | data | 64 |
| CAPPED_DATA | 0 | &hdw->ctl_lock_mutex | 1 |
| DATA_SOURCE | 0 | hdw | $0 |
| FUZZY_MAX | 3 | dlen | 12 |
| UNITS | 3 | dlen | unit_array_size |
| LOCK2 | &hdw->big_lock_mutex | ||
| LOCK2 | 0 | &hdw->ctl_lock_mutex | |
| TYPE_LOCK | (struct pvr2_hdw)->big_lock_mutex | ||
| TYPE_LOCK | (struct pvr2_hdw)->ctl_lock_mutex |
drivers/media/usb/pvrusb2/pvrusb2-encoder.c pvr2_encoder_cmd() -> pvr2_encoder_write_words()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hdw | 4096-ptr_max |
| PARAM_VALUE | 0 | hdw->cmd_debug_code | 0 |
| PARAM_VALUE | 0 | hdw->cmd_debug_read_len | 0-64 |
| PARAM_VALUE | 0 | hdw->cmd_debug_state | 0 |
| PARAM_VALUE | 0 | hdw->cmd_debug_write_len | 0-64 |
| PARAM_VALUE | 0 | hdw->ctl_done.done | 0-4294967293,u32max |
| PARAM_VALUE | 0 | hdw->ctl_done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | hdw->ctl_done.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | hdw->ctl_done.wait.task_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | hdw->ctl_done.wait.task_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hdw->ctl_done.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hdw->ctl_done.wait.task_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hdw->ctl_lock_held | 1 |
| PARAM_VALUE | 0 | hdw->ctl_lock_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdw->ctl_lock_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdw->ctl_lock_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | hdw->ctl_lock_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | hdw->ctl_lock_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdw->ctl_lock_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | hdw->ctl_lock_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | hdw->ctl_read_pend_flag | 0 |
| PARAM_VALUE | 0 | hdw->ctl_read_urb | 1-u64max |
| PARAM_VALUE | 0 | hdw->ctl_read_urb->complete | 6836346158030589952 |
| PARAM_VALUE | 0 | hdw->ctl_read_urb->context | 4096-ptr_max |
| PARAM_VALUE | 0 | hdw->ctl_read_urb->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | hdw->ctl_read_urb->ep | 4096-ptr_max |
| PARAM_VALUE | 0 | hdw->ctl_read_urb->ep->urb_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hdw->ctl_read_urb->ep->urb_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hdw->ctl_read_urb->ep->urb_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hdw->ctl_read_urb->hcpriv | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdw->ctl_read_urb->interval | s32min-32768 |
| PARAM_VALUE | 0 | hdw->ctl_read_urb->num_mapped_sgs | 0-s32max |
| PARAM_VALUE | 0 | hdw->ctl_read_urb->pipe | 0,128-u32max |
| PARAM_VALUE | 0 | hdw->ctl_read_urb->status | (-4095)-0 |
| PARAM_VALUE | 0 | hdw->ctl_read_urb->transfer_buffer_length | 1-64 |
| PARAM_VALUE | 0 | hdw->ctl_read_urb->urb_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hdw->ctl_read_urb->urb_list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hdw->ctl_read_urb->urb_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hdw->ctl_read_urb->urb_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hdw->ctl_timeout_flag | 0 |
| PARAM_VALUE | 0 | hdw->ctl_write_pend_flag | 0 |
| PARAM_VALUE | 0 | hdw->ctl_write_urb | 1-u64max |
| PARAM_VALUE | 0 | hdw->state_encoder_ok | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | hdw->vid_stream->buffer_slot_count | 0-4294967295 |
| PARAM_VALUE | 0 | hdw->vid_stream->buffer_total_count | 0-4294967295 |
| PARAM_VALUE | 0 | hdw->vid_stream->endpoint | s32min-s32max |
| PARAM_VALUE | 0 | hdw->vid_stream->fail_tolerance | 0-4294967295 |
| PARAM_VALUE | 0 | *hdw->cmd_buffer | 0-255 |
| PARAM_VALUE | 1 | offs | 68 |
| PARAM_VALUE | 2 | data | 4096-ptr_max |
| PARAM_VALUE | 3 | dlen | 1 |
| BUF_SIZE | 2 | data | 64 |
| CAPPED_DATA | 0 | hdw->ctl_read_urb | 1 |
| CAPPED_DATA | 0 | hdw->ctl_write_urb | 1 |
| CAPPED_DATA | 0 | &hdw->ctl_lock_mutex | 1 |
| DATA_SOURCE | 0 | hdw | $0 |
| LOCK2 | &hdw->big_lock_mutex | ||
| LOCK2 | 0 | &hdw->ctl_lock_mutex | |
| TYPE_LOCK | (struct pvr2_hdw)->big_lock_mutex | ||
| TYPE_LOCK | (struct pvr2_hdw)->ctl_lock_mutex |
drivers/media/usb/pvrusb2/pvrusb2-encoder.c pvr2_encoder_cmd() -> pvr2_encoder_write_words()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hdw | 4096-ptr_max |
| PARAM_VALUE | 0 | hdw->cmd_debug_code | 0 |
| PARAM_VALUE | 0 | hdw->cmd_debug_read_len | 0-64 |
| PARAM_VALUE | 0 | hdw->cmd_debug_state | 0 |
| PARAM_VALUE | 0 | hdw->cmd_debug_write_len | 0-64 |
| PARAM_VALUE | 0 | hdw->ctl_done.done | 0-4294967293,u32max |
| PARAM_VALUE | 0 | hdw->ctl_done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | hdw->ctl_done.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | hdw->ctl_done.wait.task_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | hdw->ctl_done.wait.task_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hdw->ctl_done.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hdw->ctl_done.wait.task_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hdw->ctl_lock_held | 1 |
| PARAM_VALUE | 0 | hdw->ctl_lock_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdw->ctl_lock_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdw->ctl_lock_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | hdw->ctl_lock_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | hdw->ctl_lock_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdw->ctl_lock_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | hdw->ctl_lock_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | hdw->ctl_read_pend_flag | 0 |
| PARAM_VALUE | 0 | hdw->ctl_read_urb | 1-u64max |
| PARAM_VALUE | 0 | hdw->ctl_read_urb->complete | 6836346158030589952 |
| PARAM_VALUE | 0 | hdw->ctl_read_urb->context | 4096-ptr_max |
| PARAM_VALUE | 0 | hdw->ctl_read_urb->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | hdw->ctl_read_urb->ep | 4096-ptr_max |
| PARAM_VALUE | 0 | hdw->ctl_read_urb->ep->urb_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hdw->ctl_read_urb->ep->urb_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hdw->ctl_read_urb->ep->urb_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hdw->ctl_read_urb->hcpriv | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdw->ctl_read_urb->interval | s32min-32768 |
| PARAM_VALUE | 0 | hdw->ctl_read_urb->num_mapped_sgs | 0-s32max |
| PARAM_VALUE | 0 | hdw->ctl_read_urb->pipe | 0,128-u32max |
| PARAM_VALUE | 0 | hdw->ctl_read_urb->status | (-4095)-0 |
| PARAM_VALUE | 0 | hdw->ctl_read_urb->transfer_buffer_length | 1-64 |
| PARAM_VALUE | 0 | hdw->ctl_read_urb->urb_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hdw->ctl_read_urb->urb_list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hdw->ctl_read_urb->urb_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hdw->ctl_read_urb->urb_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hdw->ctl_timeout_flag | 0 |
| PARAM_VALUE | 0 | hdw->ctl_write_pend_flag | 0 |
| PARAM_VALUE | 0 | hdw->ctl_write_urb | 1-u64max |
| PARAM_VALUE | 0 | hdw->state_encoder_ok | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | hdw->vid_stream->buffer_slot_count | 0-4294967295 |
| PARAM_VALUE | 0 | hdw->vid_stream->buffer_total_count | 0-4294967295 |
| PARAM_VALUE | 0 | hdw->vid_stream->endpoint | s32min-s32max |
| PARAM_VALUE | 0 | hdw->vid_stream->fail_tolerance | 0-4294967295 |
| PARAM_VALUE | 0 | *hdw->cmd_buffer | 0-255 |
| PARAM_VALUE | 1 | offs | 68 |
| PARAM_VALUE | 2 | data | 4096-ptr_max |
| PARAM_VALUE | 3 | dlen | 1 |
| BUF_SIZE | 2 | data | 64 |
| CAPPED_DATA | 0 | hdw->ctl_read_urb | 1 |
| CAPPED_DATA | 0 | hdw->ctl_write_urb | 1 |
| CAPPED_DATA | 0 | &hdw->ctl_lock_mutex | 1 |
| DATA_SOURCE | 0 | hdw | $0 |
| LOCK2 | &hdw->big_lock_mutex | ||
| LOCK2 | 0 | &hdw->ctl_lock_mutex | |
| TYPE_LOCK | (struct pvr2_hdw)->big_lock_mutex | ||
| TYPE_LOCK | (struct pvr2_hdw)->ctl_lock_mutex |