Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/media/usb/s2255/s2255drv.c s2255_open() -> s2255_set_mode()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vc | 4096-ptr_max |
| PARAM_VALUE | 0 | vc->configured | 0 |
| PARAM_VALUE | 0 | vc->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | vc->dev->fw_data | 4096-ptr_max |
| PARAM_VALUE | 0 | vc->fmt | 8275889406439886848 |
| PARAM_VALUE | 1 | mode | 4096-ptr_max |
| BUF_SIZE | 0 | vc | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | vc | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | vc->fmt | 48 |
| DATA_SOURCE | 0 | vc | r video_drvdata |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/media/usb/s2255/s2255drv.c s2255_s_ctrl() -> s2255_set_mode()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vc | 4096-ptr_max |
| PARAM_VALUE | 1 | mode | 4321150898379714560 |
| PARAM_VALUE | 1 | mode->restart | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/media/usb/s2255/s2255drv.c vidioc_s_fmt_vid_cap() -> s2255_set_mode()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vc | 4096-ptr_max |
| PARAM_VALUE | 0 | vc->field | 2,4 |
| PARAM_VALUE | 0 | vc->fmt | 4096-ptr_max |
| PARAM_VALUE | 0 | vc->fmt->fourcc | 1195724874,1196444237,1345466932,1448695129,1497715271,1498831189 |
| PARAM_VALUE | 0 | vc->height | 240,288,480,576 |
| PARAM_VALUE | 0 | vc->mode.restart | 0-1 |
| PARAM_VALUE | 0 | vc->mode.scale | 1-4 |
| PARAM_VALUE | 0 | vc->vb_vidq.is_busy | 0 |
| PARAM_VALUE | 0 | vc->width | 320,352,640,704 |
| PARAM_VALUE | 1 | mode | 5156705075048677376 |
| PARAM_VALUE | 1 | mode->restart | 0-1 |
| PARAM_VALUE | 1 | mode->scale | 1-4 |
| BUF_SIZE | 0 | vc | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | vc | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | vc->height | 1 |
| CAPPED_DATA | 0 | vc->mode.scale | 1 |
| CAPPED_DATA | 0 | vc->width | 1 |
| DATA_SOURCE | 0 | vc | r video_drvdata |
| HALF_LOCKED2 | lock | ||
| HALF_LOCKED2 | req_queue_lock |
drivers/media/usb/s2255/s2255drv.c vidioc_s_parm() -> s2255_set_mode()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vc | 4096-ptr_max |
| PARAM_VALUE | 1 | mode | 6461241576430493696 |
| PARAM_VALUE | 1 | mode->fdec | 1-3,5 |
| PARAM_VALUE | 1 | mode->format | 1-2 |
| BUF_SIZE | 0 | vc | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | vc | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | vc | r video_drvdata |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | lock | ||
| HALF_LOCKED2 | req_queue_lock |
drivers/media/usb/s2255/s2255drv.c vidioc_s_std() -> s2255_set_mode()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vc | 4096-ptr_max |
| PARAM_VALUE | 0 | vc->std | 1-u64max |
| PARAM_VALUE | 0 | vc->vb_vidq.is_busy | 0 |
| PARAM_VALUE | 1 | mode | 3992129765089828864 |
| PARAM_VALUE | 1 | mode->fdec | 1-3,5 |
| PARAM_VALUE | 1 | mode->format | 1-2 |
| PARAM_VALUE | 1 | mode->restart | 1 |
| BUF_SIZE | 0 | vc | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | vc | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | vc->std | 1 |
| DATA_SOURCE | 0 | vc | r video_drvdata |
| NOCHECK_CALL | |||
| USER_DATA | 0 | vc->std | 1-u64max[c] |
| HALF_LOCKED2 | lock | ||
| HALF_LOCKED2 | req_queue_lock |