Defined in 1 files as a function:
Referenced in 4 files:
- drivers/media/test-drivers/vimc/vimc-sensor.c, line 88
- drivers/media/test-drivers/visl/visl-video.c, line 111
- drivers/media/test-drivers/vivid/vivid-kthread-cap.c, line 421
- drivers/media/test-drivers/vivid/vivid-vid-cap.c
Smatch caller information:
drivers/media/test-drivers/vimc/vimc-sensor.c vimc_sensor_tpg_s_format() -> tpg_s_field()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tpg | 4096-ptr_max |
| PARAM_VALUE | 2 | alternate | 0 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | tpg->compose.width | |
| NO_OVERFLOW_SIMPLE | 0 | tpg->src_width | |
| HALF_LOCKED2 | sd->active_state->lock |
drivers/media/test-drivers/vivid/vivid-vid-cap.c vivid_s_fmt_vid_cap() -> tpg_s_field()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tpg | 4096-ptr_max |
| PARAM_VALUE | 1 | field | 2 |
| PARAM_VALUE | 2 | alternate | 1 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | tpg->buf_height | 0-u32max[u] |
| USER_DATA | 0 | tpg->fourcc | 540029273,540160345,540422489,808534338,808534599,808535874,808 |
| NO_OVERFLOW_SIMPLE | 0 | tpg->compose.width | |
| NO_OVERFLOW_SIMPLE | 0 | tpg->src_width | |
| HALF_LOCKED2 | lock | ||
| HALF_LOCKED2 | req_queue_lock |
drivers/media/test-drivers/vivid/vivid-vid-cap.c vivid_s_fmt_vid_cap() -> tpg_s_field()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tpg | 4096-ptr_max |
| PARAM_VALUE | 1 | field | 0-6,8-u32max |
| PARAM_VALUE | 2 | alternate | 0 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | tpg->buf_height | 0-u32max[u] |
| USER_DATA | 0 | tpg->fourcc | 540029273,540160345,540422489,808534338,808534599,808535874,808 |
| USER_DATA | 1 | field | 0-1,4-6,8-u32max[u] |
| NO_OVERFLOW_SIMPLE | 0 | tpg->compose.width | |
| NO_OVERFLOW_SIMPLE | 0 | tpg->src_width | |
| HALF_LOCKED2 | lock | ||
| HALF_LOCKED2 | req_queue_lock |
drivers/media/test-drivers/vivid/vivid-kthread-cap.c vivid_fillbuff() -> tpg_s_field()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tpg | 4096-ptr_max |
| PARAM_VALUE | 1 | field | 0-6,8-u32max |
| BUF_SIZE | 0 | tpg | 1616 |
| FUZZY_MAX | 1 | field | 3 |
| NOCHECK_CALL | |||
| LOCK2 | &dev->mutex | ||
| TYPE_LOCK | (struct vivid_dev)->mutex |
drivers/media/test-drivers/visl/visl-video.c visl_tpg_init() -> tpg_s_field()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tpg | 4096-ptr_max |
| PARAM_VALUE | 0 | tpg->field | 1 |
| PARAM_VALUE | 0 | tpg->field_alternate | 0 |
| PARAM_VALUE | 1 | field | 1 |
| PARAM_VALUE | 2 | alternate | 0 |
| MEM_ZERO | 0 | tpg | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | tpg->buf_height | 0 |
| USER_DATA | 0 | tpg->compose.height | 0 |
| USER_DATA | 0 | tpg->compose.width | 0-u32max |
| USER_DATA | 0 | tpg->crop.height | 0-u32max |
| USER_DATA | 0 | tpg->crop.width | 0-u32max |
| USER_DATA | 0 | tpg->fourcc | 808,540029273,540160345,540422489-540422490,808534338,808534599 |
| USER_DATA | 0 | tpg->max_line_width | 0-u32max |
| USER_DATA | 0 | tpg->scaled_width | 0-u32max |
| USER_DATA | 0 | tpg->src_height | 0-u32max |
| USER_DATA | 0 | tpg->src_width | 0-u32max |