Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 6 files:
- drivers/gpu/drm/omapdrm/dss/dpi.c, line 658
- drivers/gpu/drm/omapdrm/dss/dsi.c, line 4746
- drivers/gpu/drm/omapdrm/dss/hdmi4.c, line 727
- drivers/gpu/drm/omapdrm/dss/hdmi5.c, line 692
- drivers/gpu/drm/omapdrm/dss/sdi.c, line 331
- drivers/gpu/drm/omapdrm/dss/venc.c, line 750
Smatch caller information:
drivers/gpu/drm/omapdrm/dss/dpi.c dpi_init_output_port() -> omapdss_device_register()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dssdev | 4096-ptr_max |
| PARAM_VALUE | 0 | dssdev->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dssdev->dev->devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dssdev->dispc_channel | 0,2-3 |
| PARAM_VALUE | 0 | dssdev->id | 1 |
| PARAM_VALUE | 0 | dssdev->name | 4982102408142635008,7038195253498343424,8274397752964993024 |
| PARAM_VALUE | 0 | dssdev->of_port | 0-2 |
| PARAM_VALUE | 0 | dssdev->type | 1 |
| BUF_SIZE | 0 | dssdev | 96 |
| BUF_SIZE | 0 | dssdev->dev | 1616 |
| BUF_SIZE | 0 | dssdev->name | 6 |
| STR_LEN | 0 | dssdev->name | 5 |
| BIT_INFO | 0 | dssdev->name | 0x4000900a0880c000,0x77fffbffeffff000 |
| TERMINATED | 0 | dssdev->name | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/gpu/drm/omapdrm/dss/sdi.c sdi_init_output() -> omapdss_device_register()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dssdev | 4096-ptr_max |
| PARAM_VALUE | 0 | dssdev->bus_flags | 68 |
| PARAM_VALUE | 0 | dssdev->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dssdev->dev->devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dssdev->dispc_channel | 0 |
| PARAM_VALUE | 0 | dssdev->id | 4 |
| PARAM_VALUE | 0 | dssdev->name | 2777684335976124416 |
| PARAM_VALUE | 0 | dssdev->of_port | 1 |
| PARAM_VALUE | 0 | dssdev->type | 4 |
| BUF_SIZE | 0 | dssdev | 96 |
| BUF_SIZE | 0 | dssdev->dev | 1616 |
| BUF_SIZE | 0 | dssdev->name | 6 |
| STR_LEN | 0 | dssdev->name | 5 |
| TERMINATED | 0 | dssdev->name | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/gpu/drm/omapdrm/dss/venc.c venc_init_output() -> omapdss_device_register()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dssdev | 4096-ptr_max |
| PARAM_VALUE | 0 | dssdev->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dssdev->dev->devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dssdev->dispc_channel | 1 |
| PARAM_VALUE | 0 | dssdev->id | 32 |
| PARAM_VALUE | 0 | dssdev->name | 8124524275852693504 |
| PARAM_VALUE | 0 | dssdev->of_port | 0 |
| PARAM_VALUE | 0 | dssdev->type | 16 |
| BUF_SIZE | 0 | dssdev | 96 |
| BUF_SIZE | 0 | dssdev->dev | 1616 |
| BUF_SIZE | 0 | dssdev->name | 7 |
| STR_LEN | 0 | dssdev->name | 6 |
| TERMINATED | 0 | dssdev->name | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/gpu/drm/omapdrm/dss/hdmi5.c hdmi5_init_output() -> omapdss_device_register()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dssdev | 4096-ptr_max |
| PARAM_VALUE | 0 | dssdev->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dssdev->dispc_channel | 1 |
| PARAM_VALUE | 0 | dssdev->id | 64 |
| PARAM_VALUE | 0 | dssdev->name | 2848689480985722880 |
| PARAM_VALUE | 0 | dssdev->of_port | 0 |
| PARAM_VALUE | 0 | dssdev->type | 32 |
| BUF_SIZE | 0 | dssdev | 96 |
| BUF_SIZE | 0 | dssdev->dev | 1616 |
| BUF_SIZE | 0 | dssdev->name | 7 |
| STR_LEN | 0 | dssdev->name | 6 |
| TERMINATED | 0 | dssdev->name | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/gpu/drm/omapdrm/dss/dsi.c dsi_init_output() -> omapdss_device_register()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dssdev | 4096-ptr_max |
| PARAM_VALUE | 0 | dssdev->bus_flags | 134 |
| PARAM_VALUE | 0 | dssdev->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dssdev->dev->devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dssdev->dispc_channel | 0,2-3 |
| PARAM_VALUE | 0 | dssdev->dsi_ops | 180325619920273408 |
| PARAM_VALUE | 0 | dssdev->id | 8,16 |
| PARAM_VALUE | 0 | dssdev->name | 2054846214104498176,6203461912189177856 |
| PARAM_VALUE | 0 | dssdev->of_port | 0 |
| PARAM_VALUE | 0 | dssdev->type | 8 |
| BUF_SIZE | 0 | dssdev | 96 |
| BUF_SIZE | 0 | dssdev->dev | 1616 |
| BUF_SIZE | 0 | dssdev->dsi_ops | 16 |
| BUF_SIZE | 0 | dssdev->name | 6 |
| FUZZY_MAX | 0 | dssdev->id | 16 |
| STR_LEN | 0 | dssdev->name | 5 |
| BIT_INFO | 0 | dssdev->id | 0x0,0x18 |
| BIT_INFO | 0 | dssdev->name | 0x140407bca1810000,0x5e975fbfe7f3d000 |
| TERMINATED | 0 | dssdev->name | 1 |
| HARD_MAX | 0 | dssdev->id | 16 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/gpu/drm/omapdrm/dss/hdmi4.c hdmi4_init_output() -> omapdss_device_register()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dssdev | 4096-ptr_max |
| PARAM_VALUE | 0 | dssdev->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dssdev->dispc_channel | 1 |
| PARAM_VALUE | 0 | dssdev->id | 64 |
| PARAM_VALUE | 0 | dssdev->name | 2848689480985722880 |
| PARAM_VALUE | 0 | dssdev->of_port | 0 |
| PARAM_VALUE | 0 | dssdev->type | 32 |
| BUF_SIZE | 0 | dssdev | 96 |
| BUF_SIZE | 0 | dssdev->dev | 1616 |
| BUF_SIZE | 0 | dssdev->name | 7 |
| STR_LEN | 0 | dssdev->name | 6 |
| TERMINATED | 0 | dssdev->name | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |