Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/tidss/tidss_dispc.c dispc_k2g_plane_init() -> dispc_vid_set_buf_threshold()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dispc | 4096-ptr_max |
| PARAM_VALUE | 0 | dispc->fclk | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dispc->fclk->core->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | dispc->fclk->core->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | dispc->fclk->core->dev->power.request | 0-4 |
| PARAM_VALUE | 0 | dispc->fclk->core->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | dispc->fclk->core->dev->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | dispc->fclk->core->dev->power.runtime_status | s32min-s32max |
| PARAM_VALUE | 0 | dispc->fclk->core->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | dispc->fclk->core->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | dispc->fclk->core->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | dispc->fclk->core->parent->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | dispc->fclk->core->parent->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | dispc->fclk->core->parent->dev->power.request | 0-4294967295 |
| PARAM_VALUE | 0 | dispc->fclk->core->parent->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | dispc->fclk->core->parent->dev->power.runtime_error | s32min-s32max |
| PARAM_VALUE | 0 | dispc->fclk->core->parent->dev->power.runtime_status | s32min-s32max |
| PARAM_VALUE | 0 | dispc->fclk->core->parent->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | dispc->fclk->core->parent->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | dispc->fclk->core->parent->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | dispc->fclk->core->parent->prepare_count | 0-4294967295 |
| PARAM_VALUE | 0 | dispc->fclk->core->parent->protect_count | 0-4294967295 |
| PARAM_VALUE | 0 | dispc->fclk->core->prepare_count | 0-4294967295 |
| PARAM_VALUE | 0 | dispc->feat | 4096-ptr_max |
| PARAM_VALUE | 0 | dispc->feat->num_vids | 1-u32max |
| PARAM_VALUE | 0 | dispc->feat->subrev | 0 |
| CAPPED_DATA | 1 | hw_plane | 1 |
| DATA_SOURCE | 0 | dispc | $0 |
| PARAM_COMPARE | 0 | dispc->feat->num_vids | > $1 |
| PARAM_COMPARE | 1 | hw_plane | < $0->feat->num_vids |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | dispc->fclk->core->parent->req_rate | |
| UNITS | 1 | hw_plane | unit_array_size |
drivers/gpu/drm/tidss/tidss_dispc.c dispc_k3_plane_init() -> dispc_vid_set_buf_threshold()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dispc | 4096-ptr_max |
| PARAM_VALUE | 0 | dispc->fclk | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dispc->fclk->core->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | dispc->fclk->core->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | dispc->fclk->core->dev->power.request | 0-4 |
| PARAM_VALUE | 0 | dispc->fclk->core->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | dispc->fclk->core->dev->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | dispc->fclk->core->dev->power.runtime_status | s32min-s32max |
| PARAM_VALUE | 0 | dispc->fclk->core->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | dispc->fclk->core->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | dispc->fclk->core->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | dispc->fclk->core->parent->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | dispc->fclk->core->parent->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | dispc->fclk->core->parent->dev->power.request | 0-4294967295 |
| PARAM_VALUE | 0 | dispc->fclk->core->parent->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | dispc->fclk->core->parent->dev->power.runtime_error | s32min-s32max |
| PARAM_VALUE | 0 | dispc->fclk->core->parent->dev->power.runtime_status | s32min-s32max |
| PARAM_VALUE | 0 | dispc->fclk->core->parent->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | dispc->fclk->core->parent->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | dispc->fclk->core->parent->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | dispc->fclk->core->parent->prepare_count | 0-4294967295 |
| PARAM_VALUE | 0 | dispc->fclk->core->parent->protect_count | 0-4294967295 |
| PARAM_VALUE | 0 | dispc->fclk->core->prepare_count | 0-4294967295 |
| PARAM_VALUE | 0 | dispc->feat | 4096-ptr_max |
| PARAM_VALUE | 0 | dispc->feat->num_vids | 1-u32max |
| PARAM_VALUE | 0 | dispc->feat->subrev | 1-5 |
| CAPPED_DATA | 1 | hw_plane | 1 |
| DATA_SOURCE | 0 | dispc | $0 |
| PARAM_COMPARE | 0 | dispc->feat->num_vids | > $1 |
| PARAM_COMPARE | 1 | hw_plane | < $0->feat->num_vids |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | dispc->fclk->core->parent->req_rate | |
| UNITS | 1 | hw_plane | unit_array_size |