Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/mediatek/mtk_hdmi.c mtk_hdmi_output_set_display_mode() -> mtk_hdmi_video_set_display_mode()

Type Parameter Key Value
PARAM_VALUE 0 hdmi 4096-ptr_max
PARAM_VALUE 0 hdmi->clk 4096-ptr_max
PARAM_VALUE 0 hdmi->phy 0,4096-ptr_max
PARAM_VALUE 0 hdmi->phy->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 hdmi->regs 4096-ptr_max
PARAM_VALUE 0 hdmi->regs->async 0
PARAM_VALUE 0 hdmi->regs->cache->cached_rbnode->base_reg 0-4294967295
PARAM_VALUE 0 hdmi->regs->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 hdmi->regs->cache_dirty 1
PARAM_VALUE 0 hdmi->sys_regmap->async 0
PARAM_VALUE 0 hdmi->sys_regmap->cache->cached_rbnode->base_reg 0-4294967295
PARAM_VALUE 0 hdmi->sys_regmap->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 hdmi->sys_regmap->cache_dirty 0-1
PARAM_VALUE 1 mode 4096-ptr_max
CAPPED_DATA 0 hdmi->regs->rd_table->n_yes_ranges 1
CAPPED_DATA 0 hdmi->regs->volatile_table->n_no_ranges 1
CAPPED_DATA 0 hdmi->regs->volatile_table->n_yes_ranges 1
CAPPED_DATA 0 hdmi->sys_regmap->volatile_table->n_no_ranges 1
CAPPED_DATA 0 hdmi->sys_regmap->volatile_table->n_yes_ranges 1
DATA_SOURCE 0 hdmi $0
DATA_SOURCE 1 mode $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &first_bridge->encoder->bridge_chain_mutex
HALF_LOCKED2 &state->dev->mode_config.connection_mutex
HALF_LOCKED2 &state->dev->mode_config.connection_mutex.mutex