Defined in 2 files as a prototype:
- drivers/gpu/drm/omapdrm/dss/dss.h, line 314 (as a prototype)
- drivers/video/fbdev/omap2/omapfb/dss/dss.h, line 262 (as a prototype)
Defined in 2 files as a function:
- drivers/gpu/drm/omapdrm/dss/video-pll.c, line 132 (as a function)
- drivers/video/fbdev/omap2/omapfb/dss/video-pll.c, line 125 (as a function)
Referenced in 2 files:
Smatch caller information:
drivers/gpu/drm/omapdrm/dss/dss.c dss_video_pll_probe() -> dss_video_pll_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dss | 4096-ptr_max |
| PARAM_VALUE | 0 | dss->base | 4096-ptr_max |
| PARAM_VALUE | 0 | dss->dss_clk | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dss->dss_clk->core->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | dss->dss_clk->core->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | dss->dss_clk->core->dev->power.request | 0-4294967295 |
| PARAM_VALUE | 0 | dss->dss_clk->core->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | dss->dss_clk->core->dev->power.runtime_error | s32min-s32max |
| PARAM_VALUE | 0 | dss->dss_clk->core->dev->power.runtime_status | s32min-s32max |
| PARAM_VALUE | 0 | dss->dss_clk->core->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | dss->dss_clk->core->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | dss->dss_clk->core->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | dss->dss_clk->core->duty.den | 0-4294967295 |
| PARAM_VALUE | 0 | dss->dss_clk->core->duty.num | 0-4294967295 |
| PARAM_VALUE | 0 | dss->dss_clk->core->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | dss->dss_clk->core->new_parent_index | 0-254 |
| PARAM_VALUE | 0 | dss->dss_clk->core->notifier_count | 0-4294967295 |
| PARAM_VALUE | 0 | dss->dss_clk->core->num_parents | 0-255 |
| PARAM_VALUE | 0 | dss->dss_clk->core->orphan | 0-1 |
| PARAM_VALUE | 0 | dss->dss_clk->core->parent->protect_count | 0-4294967295 |
| PARAM_VALUE | 0 | dss->dss_clk->core->phase | s32min-s32max |
| PARAM_VALUE | 0 | dss->dss_clk->core->prepare_count | 0-4294967295 |
| PARAM_VALUE | 0 | dss->dss_clk->core->protect_count | 0-4294967295 |
| PARAM_VALUE | 0 | dss->dss_clk->core->rpm_enabled | 0-1 |
| PARAM_VALUE | 0 | dss->feat | 4096-ptr_max |
| PARAM_VALUE | 0 | dss->parent_clk | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dss->parent_clk->core->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | dss->parent_clk->core->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | dss->parent_clk->core->dev->power.request | 0-4294967295 |
| PARAM_VALUE | 0 | dss->parent_clk->core->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | dss->parent_clk->core->dev->power.runtime_error | s32min-s32max |
| PARAM_VALUE | 0 | dss->parent_clk->core->dev->power.runtime_status | s32min-s32max |
| PARAM_VALUE | 0 | dss->parent_clk->core->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | dss->parent_clk->core->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | dss->parent_clk->core->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | dss->pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | dss->pdev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dss->pdev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dss->pdev->dev.power.entry.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | pdev | 4096-ptr_max |
| PARAM_VALUE | 1 | pdev->dev.of_node->properties | 0,4096-ptr_max |
| PARAM_VALUE | 1 | pdev->dev.power.entry.prev->next | 4096-ptr_max |
| PARAM_VALUE | 2 | id | 0 |
| PARAM_VALUE | 3 | regulator | 0,4096-ptr_max |
| BUF_SIZE | 0 | dss | 744 |
| BUF_SIZE | 0 | dss->syscon_pll_ctrl | (-1),1-s32max |
| BUF_SIZE | 3 | regulator | s32min,(-1)-s32max |
| BUF_SIZE | 3 | regulator | s32min,(-1)-s32max |
| DATA_SOURCE | 0 | dss | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | dss->dss_clk->core->parent->req_rate |
drivers/gpu/drm/omapdrm/dss/dss.c dss_video_pll_probe() -> dss_video_pll_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dss | 4096-ptr_max |
| PARAM_VALUE | 0 | dss->base | 4096-ptr_max |
| PARAM_VALUE | 0 | dss->dss_clk | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dss->dss_clk->core->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | dss->dss_clk->core->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | dss->dss_clk->core->dev->power.request | 0-4294967295 |
| PARAM_VALUE | 0 | dss->dss_clk->core->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | dss->dss_clk->core->dev->power.runtime_error | s32min-s32max |
| PARAM_VALUE | 0 | dss->dss_clk->core->dev->power.runtime_status | s32min-s32max |
| PARAM_VALUE | 0 | dss->dss_clk->core->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | dss->dss_clk->core->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | dss->dss_clk->core->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | dss->dss_clk->core->duty.den | 0-4294967295 |
| PARAM_VALUE | 0 | dss->dss_clk->core->duty.num | 0-4294967295 |
| PARAM_VALUE | 0 | dss->dss_clk->core->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | dss->dss_clk->core->new_parent_index | 0-254 |
| PARAM_VALUE | 0 | dss->dss_clk->core->notifier_count | 0-4294967295 |
| PARAM_VALUE | 0 | dss->dss_clk->core->num_parents | 0-255 |
| PARAM_VALUE | 0 | dss->dss_clk->core->orphan | 0-1 |
| PARAM_VALUE | 0 | dss->dss_clk->core->parent->protect_count | 0-4294967295 |
| PARAM_VALUE | 0 | dss->dss_clk->core->phase | s32min-s32max |
| PARAM_VALUE | 0 | dss->dss_clk->core->prepare_count | 0-4294967295 |
| PARAM_VALUE | 0 | dss->dss_clk->core->protect_count | 0-4294967295 |
| PARAM_VALUE | 0 | dss->dss_clk->core->rpm_enabled | 0-1 |
| PARAM_VALUE | 0 | dss->feat | 4096-ptr_max |
| PARAM_VALUE | 0 | dss->parent_clk | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dss->parent_clk->core->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | dss->parent_clk->core->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | dss->parent_clk->core->dev->power.request | 0-4294967295 |
| PARAM_VALUE | 0 | dss->parent_clk->core->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | dss->parent_clk->core->dev->power.runtime_error | s32min-s32max |
| PARAM_VALUE | 0 | dss->parent_clk->core->dev->power.runtime_status | s32min-s32max |
| PARAM_VALUE | 0 | dss->parent_clk->core->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | dss->parent_clk->core->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | dss->parent_clk->core->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | dss->pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | dss->pdev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dss->pdev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dss->pdev->dev.power.entry.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | pdev | 4096-ptr_max |
| PARAM_VALUE | 1 | pdev->dev.power.entry.prev->next | 4096-ptr_max |
| PARAM_VALUE | 2 | id | 1 |
| PARAM_VALUE | 3 | regulator | 0,4096-ptr_max |
| BUF_SIZE | 0 | dss | 744 |
| BUF_SIZE | 0 | dss->syscon_pll_ctrl | (-1),1-s32max |
| BUF_SIZE | 0 | dss->video1_pll | (-1),136 |
| BUF_SIZE | 0 | dss->video1_pll->regulator | s32min,(-1)-s32max |
| BUF_SIZE | 3 | regulator | s32min,(-1)-s32max |
| BUF_SIZE | 3 | regulator | s32min,(-1)-s32max |
| DATA_SOURCE | 0 | dss | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | dss->dss_clk->core->parent->req_rate |