Defined in 2 files as a function:
- drivers/gpu/drm/omapdrm/dss/dispc.c, line 2570 (as a function)
- drivers/video/fbdev/omap2/omapfb/dss/dispc.c, line 2541 (as a function)
Referenced in 2 files:
- drivers/gpu/drm/omapdrm/dss/dispc.c, line 2767
- drivers/video/fbdev/omap2/omapfb/dss/dispc.c, line 2751
Smatch caller information:
drivers/gpu/drm/omapdrm/dss/dispc.c dispc_ovl_setup() -> dispc_ovl_setup_common()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dispc | 4096-ptr_max |
| PARAM_VALUE | 0 | dispc->feat | 4096-ptr_max |
| PARAM_VALUE | 0 | dispc->feat->overlay_caps | 4096-ptr_max |
| PARAM_VALUE | 0 | *dispc->fifo_assignment | s32min-s32max |
| PARAM_VALUE | 0 | *dispc->fifo_size | 0-4294967295 |
| PARAM_VALUE | 1 | plane | 0-3 |
| PARAM_VALUE | 15 | pre_mult_alpha | 0-1 |
| PARAM_VALUE | 17 | rotation_type | 0-2 |
| PARAM_VALUE | 18 | replication | 1 |
| PARAM_VALUE | 19 | vm | 4096-ptr_max |
| PARAM_VALUE | 20 | mem_to_mem | 0 |
| BUF_SIZE | 0 | dispc | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | dispc | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | dispc->feat->num_features | 1 |
| DATA_SOURCE | 0 | dispc | $0 |
| DATA_SOURCE | 1 | plane | $1 |
| DATA_SOURCE | 19 | vm | $3 |
| DATA_SOURCE | 20 | mem_to_mem | $4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | dispc | unit_byte |
| UNITS | 5 | screen_width | unit_byte |
| UNITS | 6 | pos_x | unit_byte |
| UNITS | 7 | pos_y | unit_byte |
| UNITS | 8 | width | unit_byte |
| UNITS | 9 | height | unit_byte |
| UNITS | 10 | out_width | unit_byte |
| UNITS | 11 | out_height | unit_byte |
| UNITS | 13 | rotation | unit_array_size |
| UNITS | 14 | zorder | unit_array_size |
| UNITS | 21 | color_encoding | unit_array_size |
| UNITS | 22 | color_range | unit_array_size |