Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/tidss/tidss_dispc.c dispc_initial_config() -> dispc_write()
| 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->subrev | 5 |
| PARAM_VALUE | 2 | val | 0-255 |
| CAPPED_DATA | 0 | dispc->feat->num_vps | 1 |
| DATA_SOURCE | 0 | dispc | $0 |
| NOCHECK_CALL |
drivers/gpu/drm/tidss/tidss_dispc.c dispc_k2g_plane_init() -> dispc_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dispc | 4096-ptr_max |
| PARAM_VALUE | 0 | dispc->fclk | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dispc->feat | 4096-ptr_max |
| DATA_SOURCE | 0 | dispc | $0 |
| NOCHECK_CALL | |||
| HOST_DATA | 2 | val | 0-u32max[c] |
drivers/gpu/drm/tidss/tidss_dispc.c dispc_k2g_plane_init() -> dispc_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dispc | 4096-ptr_max |
| PARAM_VALUE | 0 | dispc->fclk | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dispc->feat | 4096-ptr_max |
| DATA_SOURCE | 0 | dispc | $0 |
| NOCHECK_CALL | |||
| HOST_DATA | 2 | val | 0-u32max[c] |
drivers/gpu/drm/tidss/tidss_dispc.c dispc_k2g_read_and_clear_irqstatus() -> dispc_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dispc | 4096-ptr_max |
| PARAM_VALUE | 0 | dispc->fclk | 0,4096-u64max |
| PARAM_VALUE | 0 | dispc->feat | 4096-ptr_max |
| PARAM_VALUE | 0 | dispc->feat->subrev | 0 |
| PARAM_VALUE | 0 | dispc->feat->vp_feat.color.gamma_size | 256,1024 |
| BUF_SIZE | 0 | dispc->dev | (-1),1616 |
| BUF_SIZE | 0 | dispc->fclk | (-1),1-s32max |
| BUF_SIZE | 0 | dispc->fourccs | (-1),116 |
| BUF_SIZE | 0 | dispc->tidss | (-1),488,3696,3704,3712,3720,3792,3808,3864,3888,3912,4024,4296,4768 |
| DATA_SOURCE | 0 | dispc | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 2 | val | 0-u32max |
| HALF_LOCKED2 | &tidss->irq_lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | 0 | &dispc->tidss->irq_lock | |
| TYPE_LOCK | (struct tidss_device)->irq_lock |
drivers/gpu/drm/tidss/tidss_dispc.c dispc_k2g_set_irqenable() -> dispc_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dispc | 4096-ptr_max |
| PARAM_VALUE | 0 | dispc->fclk | 0,4096-u64max |
| PARAM_VALUE | 0 | dispc->feat | 4096-ptr_max |
| PARAM_VALUE | 0 | dispc->feat->subrev | 0 |
| PARAM_VALUE | 0 | dispc->feat->vp_feat.color.gamma_size | 256,1024 |
| PARAM_VALUE | 2 | val | 129 |
| BUF_SIZE | 0 | dispc->dev | (-1),1616 |
| BUF_SIZE | 0 | dispc->fclk | (-1),1-s32max |
| BUF_SIZE | 0 | dispc->fourccs | (-1),116 |
| BUF_SIZE | 0 | dispc->tidss | (-1),488,3696,3704,3712,3720,3792,3808,3864,3888,3912,4024,4296,4768 |
| DATA_SOURCE | 0 | dispc | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | flags | ||
| HALF_LOCKED2 | &tidss->irq_lock | ||
| HALF_LOCKED2 | 0 | &dispc->tidss->irq_lock | |
| TYPE_LOCK | (struct tidss_device)->irq_lock |
drivers/gpu/drm/tidss/tidss_dispc.c dispc_k3_clear_irqstatus() -> dispc_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dispc | 4096-ptr_max |
| PARAM_VALUE | 0 | dispc->fclk | 0,4096-u64max |
| PARAM_VALUE | 0 | dispc->feat | 4096-ptr_max |
| PARAM_VALUE | 0 | dispc->feat->subrev | 1-5 |
| PARAM_VALUE | 0 | dispc->feat->vp_feat.color.gamma_size | 256,1024 |
| CAPPED_DATA | 0 | dispc->feat->num_vids | 1 |
| CAPPED_DATA | 0 | dispc->feat->num_vps | 1 |
| DATA_SOURCE | 0 | dispc | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 2 | val | 0-u32max |
| LOCK2 | &tidss->irq_lock | ||
| HALF_LOCKED2 | flags | ||
| TYPE_LOCK | (struct tidss_device)->irq_lock |
drivers/gpu/drm/tidss/tidss_dispc.c dispc_k3_plane_init() -> dispc_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dispc | 4096-ptr_max |
| PARAM_VALUE | 0 | dispc->fclk | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dispc->feat | 4096-ptr_max |
| DATA_SOURCE | 0 | dispc | $0 |
| NOCHECK_CALL | |||
| HOST_DATA | 2 | val | 0-u32max[c] |
drivers/gpu/drm/tidss/tidss_dispc.c dispc_k3_plane_init() -> dispc_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dispc | 4096-ptr_max |
| PARAM_VALUE | 0 | dispc->fclk | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dispc->feat | 4096-ptr_max |
| DATA_SOURCE | 0 | dispc | $0 |
| NOCHECK_CALL | |||
| HOST_DATA | 2 | val | 0-u32max[c] |
drivers/gpu/drm/tidss/tidss_dispc.c dispc_k3_plane_init() -> dispc_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dispc | 4096-ptr_max |
| PARAM_VALUE | 0 | dispc->fclk | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dispc->feat | 4096-ptr_max |
| DATA_SOURCE | 0 | dispc | $0 |
| NOCHECK_CALL | |||
| HOST_DATA | 2 | val | 0-u32max[c] |
drivers/gpu/drm/tidss/tidss_dispc.c dispc_k3_plane_init() -> dispc_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dispc | 4096-ptr_max |
| PARAM_VALUE | 0 | dispc->fclk | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dispc->feat | 4096-ptr_max |
| DATA_SOURCE | 0 | dispc | $0 |
| NOCHECK_CALL | |||
| HOST_DATA | 2 | val | 0-u32max[c] |
drivers/gpu/drm/tidss/tidss_dispc.c dispc_k3_set_irqenable() -> dispc_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dispc | 4096-ptr_max |
| PARAM_VALUE | 0 | dispc->fclk | 0,4096-u64max |
| PARAM_VALUE | 0 | dispc->feat | 4096-ptr_max |
| PARAM_VALUE | 0 | dispc->feat->subrev | 1-5 |
| PARAM_VALUE | 0 | dispc->feat->vp_feat.color.gamma_size | 256,1024 |
| PARAM_VALUE | 2 | val | 1-u32max |
| CAPPED_DATA | 0 | dispc->feat->num_vids | 1 |
| CAPPED_DATA | 0 | dispc->feat->num_vps | 1 |
| DATA_SOURCE | 0 | dispc | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &tidss->irq_lock | ||
| LOCK2 | flags | ||
| HALF_LOCKED2 | &dev->vbl_lock | ||
| HALF_LOCKED2 | &dev->vblank_time_lock | ||
| TYPE_LOCK | (struct tidss_device)->irq_lock |
drivers/gpu/drm/tidss/tidss_dispc.c dispc_k3_set_irqenable() -> dispc_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dispc | 4096-ptr_max |
| PARAM_VALUE | 0 | dispc->fclk | 0,4096-u64max |
| PARAM_VALUE | 0 | dispc->feat | 4096-ptr_max |
| PARAM_VALUE | 0 | dispc->feat->subrev | 1-5 |
| PARAM_VALUE | 0 | dispc->feat->vp_feat.color.gamma_size | 256,1024 |
| PARAM_VALUE | 2 | val | 1-u32max |
| CAPPED_DATA | 0 | dispc->feat->num_vids | 1 |
| CAPPED_DATA | 0 | dispc->feat->num_vps | 1 |
| DATA_SOURCE | 0 | dispc | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &tidss->irq_lock | ||
| LOCK2 | flags | ||
| HALF_LOCKED2 | &dev->vbl_lock | ||
| HALF_LOCKED2 | &dev->vblank_time_lock | ||
| TYPE_LOCK | (struct tidss_device)->irq_lock |
drivers/gpu/drm/tidss/tidss_dispc.c dispc_k3_vid_set_irqenable() -> dispc_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dispc | 4096-ptr_max |
| PARAM_VALUE | 0 | dispc->fclk | 0,4096-u64max |
| 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 |
| PARAM_VALUE | 0 | dispc->feat->vid_info | 4096-ptr_max |
| PARAM_VALUE | 0 | dispc->feat->vp_feat.color.gamma_size | 256,1024 |
| PARAM_VALUE | 2 | val | 0-1 |
| CAPPED_DATA | 0 | dispc->feat->num_vids | 1 |
| CAPPED_DATA | 0 | dispc->feat->num_vps | 1 |
| DATA_SOURCE | 0 | dispc | $0 |
| DATA_SOURCE | 2 | val | r dispc_vid_irq_to_raw |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &tidss->irq_lock | ||
| LOCK2 | flags | ||
| HALF_LOCKED2 | &dev->vbl_lock | ||
| HALF_LOCKED2 | &dev->vblank_time_lock | ||
| TYPE_LOCK | (struct tidss_device)->irq_lock |
drivers/gpu/drm/tidss/tidss_dispc.c dispc_k3_vid_write_irqstatus() -> dispc_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dispc | 4096-ptr_max |
| 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 |
| PARAM_VALUE | 0 | dispc->feat->vid_info | 4096-ptr_max |
| PARAM_VALUE | 0 | dispc->feat->vp_feat.color.gamma_size | 256,1024 |
| PARAM_VALUE | 2 | val | 0-1 |
| CAPPED_DATA | 0 | dispc->feat->num_vids | 1 |
| CAPPED_DATA | 0 | dispc->feat->num_vps | 1 |
| DATA_SOURCE | 0 | dispc | $0 |
| DATA_SOURCE | 2 | val | r dispc_vid_irq_to_raw |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &tidss->irq_lock | ||
| HALF_LOCKED2 | flags | ||
| TYPE_LOCK | (struct tidss_device)->irq_lock |
drivers/gpu/drm/tidss/tidss_dispc.c dispc_k3_vp_set_irqenable() -> dispc_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dispc | 4096-ptr_max |
| PARAM_VALUE | 0 | dispc->fclk | 0,4096-u64max |
| PARAM_VALUE | 0 | dispc->feat | 4096-ptr_max |
| PARAM_VALUE | 0 | dispc->feat->num_vps | 1-u32max |
| PARAM_VALUE | 0 | dispc->feat->subrev | 1-5 |
| PARAM_VALUE | 0 | dispc->feat->vp_feat.color.gamma_size | 256,1024 |
| PARAM_VALUE | 2 | val | 0-7,16-23 |
| CAPPED_DATA | 0 | dispc->feat->num_vids | 1 |
| CAPPED_DATA | 0 | dispc->feat->num_vps | 1 |
| DATA_SOURCE | 0 | dispc | $0 |
| DATA_SOURCE | 2 | val | r dispc_vp_irq_to_raw |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &tidss->irq_lock | ||
| LOCK2 | flags | ||
| HALF_LOCKED2 | &dev->vbl_lock | ||
| HALF_LOCKED2 | &dev->vblank_time_lock | ||
| TYPE_LOCK | (struct tidss_device)->irq_lock |
drivers/gpu/drm/tidss/tidss_dispc.c dispc_k3_vp_write_irqstatus() -> dispc_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dispc | 4096-ptr_max |
| PARAM_VALUE | 0 | dispc->feat | 4096-ptr_max |
| PARAM_VALUE | 0 | dispc->feat->num_vps | 1-u32max |
| PARAM_VALUE | 0 | dispc->feat->subrev | 1-5 |
| PARAM_VALUE | 0 | dispc->feat->vp_feat.color.gamma_size | 256,1024 |
| PARAM_VALUE | 2 | val | 0-7,16-23 |
| CAPPED_DATA | 0 | dispc->feat->num_vids | 1 |
| CAPPED_DATA | 0 | dispc->feat->num_vps | 1 |
| DATA_SOURCE | 0 | dispc | $0 |
| DATA_SOURCE | 2 | val | r dispc_vp_irq_to_raw |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &tidss->irq_lock | ||
| HALF_LOCKED2 | flags | ||
| TYPE_LOCK | (struct tidss_device)->irq_lock |
drivers/gpu/drm/tidss/tidss_dispc.c dispc_softreset() -> dispc_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dispc | 4096-ptr_max |
| PARAM_VALUE | 0 | dispc->am65x_oldi_io_ctrl | 0-ptr_max |
| PARAM_VALUE | 0 | dispc->base_common | 4096-ptr_max |
| PARAM_VALUE | 0 | dispc->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dispc->errata.i2000 | 1 |
| PARAM_VALUE | 0 | dispc->fclk | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dispc->feat | 4096-ptr_max |
| PARAM_VALUE | 0 | dispc->fourccs | 1-u64max |
| PARAM_VALUE | 0 | dispc->tidss | 4096-ptr_max |
| BUF_SIZE | 0 | dispc | 240 |
| DATA_SOURCE | 0 | dispc | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 2 | val | 0-u32max[c] |