vc4_hdmi_cec_update_clk_div identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 2 files as a function:

Referenced in 1 files:

drivers/gpu/drm/vc4/vc4_hdmi.c
- line 1536
- line 3195

Smatch caller information:

drivers/gpu/drm/vc4/vc4_hdmi.c vc4_hdmi_encoder_pre_crtc_configure() -> vc4_hdmi_cec_update_clk_div()

Type	Parameter	Key	Value
PARAM_VALUE	0	vc4_hdmi	4096-ptr_max
PARAM_VALUE	0	vc4_hdmi->connector.dev	4096-ptr_max
PARAM_VALUE	0	vc4_hdmi->connector.dev->unplugged	0
PARAM_VALUE	0	vc4_hdmi->hsm_clock	0,4096-ptr_max
PARAM_VALUE	0	vc4_hdmi->hsm_clock->core->dev->power.wakeirq->status	0-4294967295
PARAM_VALUE	0	vc4_hdmi->hsm_clock->core->duty.den	0-4294967295
PARAM_VALUE	0	vc4_hdmi->hsm_clock->core->duty.num	0-4294967295
PARAM_VALUE	0	vc4_hdmi->hsm_clock->core->enable_count	0-4294967295
PARAM_VALUE	0	vc4_hdmi->hsm_clock->core->new_parent_index	0-255
PARAM_VALUE	0	vc4_hdmi->hsm_clock->core->notifier_count	0-4294967295
PARAM_VALUE	0	vc4_hdmi->hsm_clock->core->num_parents	0-255
PARAM_VALUE	0	vc4_hdmi->hsm_clock->core->orphan	0-1
PARAM_VALUE	0	vc4_hdmi->hsm_clock->core->phase	s32min-s32max
PARAM_VALUE	0	vc4_hdmi->hsm_clock->core->prepare_count	0-4294967295
PARAM_VALUE	0	vc4_hdmi->hsm_clock->core->protect_count	0-4294967295
PARAM_VALUE	0	vc4_hdmi->hsm_clock->core->rpm_enabled	0-1
PARAM_VALUE	0	vc4_hdmi->mutex.dep_map->name	0-255
PARAM_VALUE	0	vc4_hdmi->mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	vc4_hdmi->mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	vc4_hdmi->mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	vc4_hdmi->mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	vc4_hdmi->mutex.wait_lock.owner	(-1)
PARAM_VALUE	0	vc4_hdmi->mutex.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	vc4_hdmi->pdev	4096-ptr_max
PARAM_VALUE	0	vc4_hdmi->pdev->dev.bus	0,4096-ptr_max
PARAM_VALUE	0	vc4_hdmi->pdev->dev.class	0,4096-ptr_max
PARAM_VALUE	0	vc4_hdmi->pdev->dev.power.request	0-4
PARAM_VALUE	0	vc4_hdmi->pdev->dev.power.runtime_error	s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE	0	vc4_hdmi->pdev->dev.power.wakeirq	0,4096-ptr_max
PARAM_VALUE	0	vc4_hdmi->pdev->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	vc4_hdmi->pdev->dev.type	0,4096-ptr_max
PARAM_VALUE	0	vc4_hdmi->pixel_clock	0,4096-ptr_max
PARAM_VALUE	0	vc4_hdmi->pixel_clock->core->dev->power.deferred_resume	0-1
PARAM_VALUE	0	vc4_hdmi->pixel_clock->core->dev->power.idle_notification	0-1
PARAM_VALUE	0	vc4_hdmi->pixel_clock->core->dev->power.request	0-4
PARAM_VALUE	0	vc4_hdmi->pixel_clock->core->dev->power.request_pending	0-1
PARAM_VALUE	0	vc4_hdmi->pixel_clock->core->dev->power.runtime_error	s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE	0	vc4_hdmi->pixel_clock->core->dev->power.runtime_status	s32min-s32max
PARAM_VALUE	0	vc4_hdmi->pixel_clock->core->dev->power.timer_autosuspends	0-1
PARAM_VALUE	0	vc4_hdmi->pixel_clock->core->dev->power.usage_count.counter	s32min-s32max
PARAM_VALUE	0	vc4_hdmi->pixel_clock->core->dev->power.wakeirq->status	0-4294967295
PARAM_VALUE	0	vc4_hdmi->pixel_clock->core->duty.den	0-4294967295
PARAM_VALUE	0	vc4_hdmi->pixel_clock->core->duty.num	0-4294967295
PARAM_VALUE	0	vc4_hdmi->pixel_clock->core->enable_count	0-4294967295
PARAM_VALUE	0	vc4_hdmi->pixel_clock->core->new_parent_index	0-254
PARAM_VALUE	0	vc4_hdmi->pixel_clock->core->notifier_count	0-4294967295
PARAM_VALUE	0	vc4_hdmi->pixel_clock->core->num_parents	0-255
PARAM_VALUE	0	vc4_hdmi->pixel_clock->core->orphan	0-1
PARAM_VALUE	0	vc4_hdmi->pixel_clock->core->parent->dev->power.deferred_resume	0-1
PARAM_VALUE	0	vc4_hdmi->pixel_clock->core->parent->dev->power.idle_notification	0-1
PARAM_VALUE	0	vc4_hdmi->pixel_clock->core->parent->dev->power.request	0-4
PARAM_VALUE	0	vc4_hdmi->pixel_clock->core->parent->dev->power.request_pending	0-1
PARAM_VALUE	0	vc4_hdmi->pixel_clock->core->parent->dev->power.runtime_error	s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE	0	vc4_hdmi->pixel_clock->core->parent->dev->power.runtime_status	s32min-s32max
PARAM_VALUE	0	vc4_hdmi->pixel_clock->core->parent->dev->power.timer_autosuspends	0-1
PARAM_VALUE	0	vc4_hdmi->pixel_clock->core->parent->dev->power.usage_count.counter	s32min-s32max
PARAM_VALUE	0	vc4_hdmi->pixel_clock->core->parent->dev->power.wakeirq->status	0-4294967295
PARAM_VALUE	0	vc4_hdmi->pixel_clock->core->parent->enable_count	0-4294967295
PARAM_VALUE	0	vc4_hdmi->pixel_clock->core->parent->new_parent_index	0-254
PARAM_VALUE	0	vc4_hdmi->pixel_clock->core->parent->prepare_count	0-4294967295
PARAM_VALUE	0	vc4_hdmi->pixel_clock->core->parent->protect_count	0-4294967295
PARAM_VALUE	0	vc4_hdmi->pixel_clock->core->phase	s32min-s32max
PARAM_VALUE	0	vc4_hdmi->pixel_clock->core->prepare_count	0-4294967295
PARAM_VALUE	0	vc4_hdmi->pixel_clock->core->protect_count	0-4294967295
PARAM_VALUE	0	vc4_hdmi->pixel_clock->core->rpm_enabled	0-1
CAPPED_DATA	0	&vc4_hdmi->mutex	1
DATA_SOURCE	0	vc4_hdmi	r encoder_to_vc4_hdmi
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	vc4_hdmi->pixel_clock->core->parent->req_rate
LOCK2		global &drm_unplug_srcu
LOCK2	0	&vc4_hdmi->mutex
HALF_LOCKED2		&pool->lock
HALF_LOCKED2		&state->dev->mode_config.connection_mutex
HALF_LOCKED2		&state->dev->mode_config.connection_mutex.mutex
TYPE_LOCK		(struct vc4_hdmi)->mutex

drivers/gpu/drm/vc4/vc4_hdmi.c vc4_hdmi_runtime_resume() -> vc4_hdmi_cec_update_clk_div()

Type	Parameter	Key	Value
PARAM_VALUE	0	vc4_hdmi	4096-ptr_max
PARAM_VALUE	0	vc4_hdmi->audio_clock	0,4096-ptr_max
PARAM_VALUE	0	vc4_hdmi->audio_clock->core->dev->power.deferred_resume	0-1
PARAM_VALUE	0	vc4_hdmi->audio_clock->core->dev->power.idle_notification	0-1
PARAM_VALUE	0	vc4_hdmi->audio_clock->core->dev->power.request	0-4
PARAM_VALUE	0	vc4_hdmi->audio_clock->core->dev->power.request_pending	0-1
PARAM_VALUE	0	vc4_hdmi->audio_clock->core->dev->power.runtime_error	s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE	0	vc4_hdmi->audio_clock->core->dev->power.runtime_status	s32min-s32max
PARAM_VALUE	0	vc4_hdmi->audio_clock->core->dev->power.timer_autosuspends	0-1
PARAM_VALUE	0	vc4_hdmi->audio_clock->core->dev->power.usage_count.counter	s32min-s32max
PARAM_VALUE	0	vc4_hdmi->audio_clock->core->dev->power.wakeirq->status	0-4294967295
PARAM_VALUE	0	vc4_hdmi->audio_clock->core->enable_count	0-4294967295
PARAM_VALUE	0	vc4_hdmi->audio_clock->core->parent->dev->power.deferred_resume	0-1
PARAM_VALUE	0	vc4_hdmi->audio_clock->core->parent->dev->power.idle_notification	0-1
PARAM_VALUE	0	vc4_hdmi->audio_clock->core->parent->dev->power.request	0-4
PARAM_VALUE	0	vc4_hdmi->audio_clock->core->parent->dev->power.request_pending	0-1
PARAM_VALUE	0	vc4_hdmi->audio_clock->core->parent->dev->power.runtime_error	s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE	0	vc4_hdmi->audio_clock->core->parent->dev->power.runtime_status	s32min-s32max
PARAM_VALUE	0	vc4_hdmi->audio_clock->core->parent->dev->power.timer_autosuspends	0-1
PARAM_VALUE	0	vc4_hdmi->audio_clock->core->parent->dev->power.usage_count.counter	s32min-s32max
PARAM_VALUE	0	vc4_hdmi->audio_clock->core->parent->dev->power.wakeirq->status	0-4294967295
PARAM_VALUE	0	vc4_hdmi->audio_clock->core->parent->enable_count	0-4294967295
PARAM_VALUE	0	vc4_hdmi->audio_clock->core->parent->prepare_count	0-4294967295
PARAM_VALUE	0	vc4_hdmi->audio_clock->core->parent->protect_count	0-4294967295
PARAM_VALUE	0	vc4_hdmi->audio_clock->core->prepare_count	1-4294967295
PARAM_VALUE	0	vc4_hdmi->audio_clock->core->protect_count	0-4294967295
PARAM_VALUE	0	vc4_hdmi->hsm_clock	4096-ptr_max
PARAM_VALUE	0	vc4_hdmi->hsm_clock->core->dev->power.deferred_resume	0-1
PARAM_VALUE	0	vc4_hdmi->hsm_clock->core->dev->power.idle_notification	0-1
PARAM_VALUE	0	vc4_hdmi->hsm_clock->core->dev->power.request	0-4294967295
PARAM_VALUE	0	vc4_hdmi->hsm_clock->core->dev->power.request_pending	0-1
PARAM_VALUE	0	vc4_hdmi->hsm_clock->core->dev->power.runtime_error	s32min-s32max
PARAM_VALUE	0	vc4_hdmi->hsm_clock->core->dev->power.runtime_status	s32min-s32max
PARAM_VALUE	0	vc4_hdmi->hsm_clock->core->dev->power.timer_autosuspends	0-1
PARAM_VALUE	0	vc4_hdmi->hsm_clock->core->dev->power.usage_count.counter	s32min-s32max
PARAM_VALUE	0	vc4_hdmi->hsm_clock->core->dev->power.wakeirq->status	0-4294967295
PARAM_VALUE	0	vc4_hdmi->hsm_clock->core->enable_count	0-4294967295
PARAM_VALUE	0	vc4_hdmi->hsm_clock->core->parent->dev->power.deferred_resume	0-1
PARAM_VALUE	0	vc4_hdmi->hsm_clock->core->parent->dev->power.idle_notification	0-1
PARAM_VALUE	0	vc4_hdmi->hsm_clock->core->parent->dev->power.request	0-4
PARAM_VALUE	0	vc4_hdmi->hsm_clock->core->parent->dev->power.request_pending	0-1
PARAM_VALUE	0	vc4_hdmi->hsm_clock->core->parent->dev->power.runtime_error	s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE	0	vc4_hdmi->hsm_clock->core->parent->dev->power.runtime_status	s32min-s32max
PARAM_VALUE	0	vc4_hdmi->hsm_clock->core->parent->dev->power.timer_autosuspends	0-1
PARAM_VALUE	0	vc4_hdmi->hsm_clock->core->parent->dev->power.usage_count.counter	s32min-s32max
PARAM_VALUE	0	vc4_hdmi->hsm_clock->core->parent->dev->power.wakeirq->status	0-4294967295
PARAM_VALUE	0	vc4_hdmi->hsm_clock->core->parent->enable_count	0-4294967295
PARAM_VALUE	0	vc4_hdmi->hsm_clock->core->parent->prepare_count	0-4294967295
PARAM_VALUE	0	vc4_hdmi->hsm_clock->core->parent->protect_count	0-4294967295
PARAM_VALUE	0	vc4_hdmi->hsm_clock->core->prepare_count	1-4294967295
PARAM_VALUE	0	vc4_hdmi->hsm_clock->core->protect_count	0-4294967295
PARAM_VALUE	0	vc4_hdmi->hw_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	vc4_hdmi->pdev	4096-ptr_max
PARAM_VALUE	0	vc4_hdmi->variant	4096-ptr_max
BUF_SIZE	0	vc4_hdmi	s32min-(-2),1-s32max
BUF_SIZE	0	vc4_hdmi	s32min-(-2),1-s32max
CAPPED_DATA	0	vc4_hdmi->hsm_clock->core	1
NOCHECK_CALL
UNITS	0	vc4_hdmi	unit_byte