Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/gpu/drm/bridge/synopsys/dw-hdmi.c dw_hdmi_update_phy_mask() -> (struct dw_hdmi_phy_ops)->update_hpd()

Type Parameter Key Value
PARAM_VALUE 0 hdmi 4096-ptr_max
PARAM_VALUE 0 hdmi->curr_conn->ddc->dev.driver_data->adev->pm.bus_locked 0-1
PARAM_VALUE 0 hdmi->mutex.dep_map->name 0-255
PARAM_VALUE 0 hdmi->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 hdmi->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 hdmi->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 hdmi->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 hdmi->mutex.wait_lock.owner (-1)
PARAM_VALUE 0 hdmi->mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 hdmi->phy.data->phy->dev.power.deferred_resume 0-1
PARAM_VALUE 0 hdmi->phy.data->phy->dev.power.idle_notification 0-1
PARAM_VALUE 0 hdmi->phy.data->phy->dev.power.request 0-4
PARAM_VALUE 0 hdmi->phy.data->phy->dev.power.request_pending 0-1
PARAM_VALUE 0 hdmi->phy.data->phy->dev.power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 hdmi->phy.data->phy->dev.power.runtime_status 0,2
PARAM_VALUE 0 hdmi->phy.data->phy->dev.power.timer_autosuspends 0-1
PARAM_VALUE 0 hdmi->phy.data->phy->dev.power.usage_count.counter s32min-s32max
PARAM_VALUE 0 hdmi->phy.data->phy->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 hdmi->phy.data->phy->power_count s32min-s32max
PARAM_VALUE 0 hdmi->phy.data->phy->pwr->enable_count 0-4294967295
PARAM_VALUE 0 hdmi->phy.data->phy->pwr->rdev->reg_data->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 hdmi->phy.data->phy->pwr->rdev->reg_data->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 hdmi->phy.data->phy->pwr->rdev->regmap->async 0-1
PARAM_VALUE 0 hdmi->phy.data->phy->pwr->rdev->regmap->cache_dirty 0-1
PARAM_VALUE 0 hdmi->phy.data->priv->hhi->cache_dirty 0-1
PARAM_VALUE 0 hdmi->phy.data->regs->cache->cached_rbnode->base_reg 0-4294967295
PARAM_VALUE 0 hdmi->phy.data->regs->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 hdmi->phy.data->regs->cache_dirty 0-1
PARAM_VALUE 0 hdmi->phy.ops 4096-ptr_max
PARAM_VALUE 0 hdmi->phy.ops->update_hpd 8017963246089568256
PARAM_VALUE 0 hdmi->regm->cache->cached_rbnode->base_reg 0-4294967295
PARAM_VALUE 0 hdmi->regm->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 1 data->phy->dev.power.deferred_resume 0-1
PARAM_VALUE 1 data->phy->dev.power.idle_notification 0-1
PARAM_VALUE 1 data->phy->dev.power.request 0-4
PARAM_VALUE 1 data->phy->dev.power.request_pending 0-1
PARAM_VALUE 1 data->phy->dev.power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 1 data->phy->dev.power.runtime_status 0,2
PARAM_VALUE 1 data->phy->dev.power.timer_autosuspends 0-1
PARAM_VALUE 1 data->phy->dev.power.usage_count.counter s32min-s32max
PARAM_VALUE 1 data->phy->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 1 data->phy->power_count s32min-s32max
PARAM_VALUE 1 data->phy->pwr->enable_count 0-4294967295
PARAM_VALUE 1 data->phy->pwr->rdev->reg_data->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 data->phy->pwr->rdev->reg_data->lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 data->phy->pwr->rdev->regmap->async 0-1
PARAM_VALUE 1 data->phy->pwr->rdev->regmap->cache_dirty 0-1
PARAM_VALUE 1 data->priv->hhi->cache_dirty 0-1
PARAM_VALUE 1 data->regs->cache->cached_rbnode->base_reg 0-4294967295
PARAM_VALUE 1 data->regs->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 1 data->regs->cache_dirty 0-1
BUF_SIZE 0 hdmi s32min-(-1),1-s32max
BUF_SIZE 0 hdmi s32min-(-1),1-s32max
BUF_SIZE 1 data 224
DATA_SOURCE 0 hdmi $0
CONTAINER 0 -24-0-4400+0 $(-1)
CONTAINER 1 *(-24-0+16) $(-1)
CONTAINER 2 *(-24-0-4400+4752) $(-1)
CONTAINER 3 *(-24-0-4400+4768) $(-1)
CONTAINER 4 *(-24-0-4400+4768) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &hdmi->mutex
TYPE_LOCK (struct dw_hdmi)->mutex