Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/media/usb/pwc/pwc-ctrl.c pwc_set_video_mode() -> set_video_mode_Timon()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->type | 675-699 |
| PARAM_VALUE | 0 | *pdev->udev->toggle | 0-4294967295 |
| PARAM_VALUE | 1 | size | 0-5 |
| PARAM_VALUE | 4 | compression | 2509906391499841536,3094246002272194560,3909943050827386880,5123559419768553472 |
| PARAM_VALUE | 4 | *compression | 0-s32max |
| PARAM_VALUE | 5 | send_to_cam | 0-1 |
| BUF_SIZE | 0 | pdev | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | pdev | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | pdev->ctrl_buf | (-1),13 |
| BUF_SIZE | 0 | pdev->vb_queue.drv_priv | (-1),61776 |
| BUF_SIZE | 0 | pdev->vb_queue.lock | (-1),152 |
| BUF_SIZE | 0 | pdev->vb_queue.mem_ops | (-1),120 |
| BUF_SIZE | 0 | pdev->vb_queue.ops | (-1),96 |
| BUF_SIZE | 0 | pdev->vdev.queue | (-1),632 |
| DATA_SOURCE | 0 | pdev | $0 |
| DATA_SOURCE | 1 | size | r pwc_get_size |
| DATA_SOURCE | 2 | pixfmt | $3 |
| DATA_SOURCE | 3 | frames | $4 |
| DATA_SOURCE | 4 | compression | $5 |
| DATA_SOURCE | 5 | send_to_cam | $6 |
| HARD_MAX | 5 | send_to_cam | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | pixfmt | 0[u] |
| USER_DATA | 3 | frames | s32min-s32max |
| HALF_LOCKED2 | 0 | &pdev->v4l2_lock |