Open Menu /

Defined in 3 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/gpu/drm/omapdrm/dss/hdmi5.c hdmi5_bridge_edid_read() -> hdmi_core_disable()

Type Parameter Key Value
PARAM_VALUE 0 hdmi 4096-ptr_max
PARAM_VALUE 0 hdmi->core_enabled 1
PARAM_VALUE 0 hdmi->lock.dep_map->name 0-255
PARAM_VALUE 0 hdmi->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 hdmi->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 hdmi->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 hdmi->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 hdmi->pdev 4096-ptr_max
PARAM_VALUE 0 hdmi->pdev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 hdmi->pdev->dev.class 0,4096-ptr_max
PARAM_VALUE 0 hdmi->pdev->dev.power.request 0-4
PARAM_VALUE 0 hdmi->pdev->dev.power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 hdmi->pdev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 hdmi->pdev->dev.type 0,4096-ptr_max
PARAM_VALUE 0 hdmi->vdda_reg 4096-ptr_max
PARAM_VALUE 0 hdmi->vdda_reg->enable_count 0-4294967295
PARAM_VALUE 0 hdmi->vdda_reg->rdev->ena_gpio_state 1
PARAM_VALUE 0 hdmi->vdda_reg->rdev->ena_pin->enable_count 0-4294967295
PARAM_VALUE 0 hdmi->vdda_reg->rdev->notifier.head->priority s32min-s32max
PARAM_VALUE 0 hdmi->vdda_reg->rdev->reg_data->enabled_updated 0
PARAM_VALUE 0 hdmi->vdda_reg->rdev->reg_data->load 0-4294967295
PARAM_VALUE 0 hdmi->vdda_reg->rdev->reg_data->load_updated 0-1
PARAM_VALUE 0 hdmi->vdda_reg->rdev->reg_data->regmap->async 0
PARAM_VALUE 0 hdmi->vdda_reg->rdev->reg_data->regmap->cache->cached_rbnode->base_reg 0-4294967295
PARAM_VALUE 0 hdmi->vdda_reg->rdev->reg_data->regmap->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 hdmi->vdda_reg->rdev->reg_data->uv_updated 0
PARAM_VALUE 0 hdmi->vdda_reg->rdev->regmap->async 0-1
PARAM_VALUE 0 hdmi->vdda_reg->rdev->regmap->cache->cached_rbnode->base_reg 0-4294967295
PARAM_VALUE 0 hdmi->vdda_reg->rdev->regmap->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 hdmi->vdda_reg->rdev->regmap->cache->cached_rbnode->node.__rb_parent_color 0-1
PARAM_VALUE 0 hdmi->vdda_reg->rdev->regmap->cache_dirty 0-1
PARAM_VALUE 0 hdmi->vdda_reg->rdev->supply->enable_count 0-4294967295
PARAM_VALUE 0 hdmi->vdda_reg->rdev->use_count 0-4294967295
CAPPED_DATA 0 hdmi->vdda_reg->rdev 1
CAPPED_DATA 0 hdmi->vdda_reg->rdev->coupling_desc.n_coupled 1
CAPPED_DATA 0 &hdmi->lock 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &bridge_connector->encoder->bridge_chain_mutex
HALF_LOCKED2 &connector->dev->mode_config.connection_mutex