Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/amd/amdgpu/../display/dc/link/protocols/link_hdmi_frl.c hdmi_frl_verify_link_cap() -> hdmi_frl_test_dsc_max_rate()

Type Parameter Key Value
PARAM_VALUE 0 ddc_service 4096-ptr_max
PARAM_VALUE 0 ddc_service->ddc_pin->pin_clock->id s32min-s32max
PARAM_VALUE 0 ddc_service->ddc_pin->pin_clock->mode s32min-s32max
PARAM_VALUE 0 ddc_service->ddc_pin->pin_clock->pin 0-s64max
PARAM_VALUE 0 ddc_service->ddc_pin->pin_data->id s32min-s32max
PARAM_VALUE 0 ddc_service->ddc_pin->pin_data->mode s32min-s32max
PARAM_VALUE 0 ddc_service->ddc_pin->pin_data->pin 0-s64max
PARAM_VALUE 0 ddc_service->link->ctx 4096-ptr_max
PARAM_VALUE 0 ddc_service->link->priv->i2c->base.bus_lock.dep_map->name 0-255
PARAM_VALUE 0 ddc_service->link->priv->i2c->base.bus_lock.rtmutex.owner 0-1
PARAM_VALUE 0 ddc_service->link->priv->i2c->base.dev.driver_data->adev->pm.bus_locked 0-1
PARAM_VALUE 0 ddc_service->link->priv->i2c->base.dev.driver_data->adev->pm.mutex.dep_map->name 0-255
PARAM_VALUE 0 ddc_service->link->priv->i2c->base.dev.driver_data->adev->pm.mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 ddc_service->link->priv->i2c->base.dev.parent->devt 0-4294967295
PARAM_VALUE 0 ddc_service->link->priv->i2c->base.dev.parent->dma_uses_io_tlb 0-1
PARAM_VALUE 0 ddc_service->link->priv->i2c->base.dev.parent->id 0-4294967295
PARAM_VALUE 0 ddc_service->link->priv->i2c->base.dev.parent->kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 ddc_service->link->priv->i2c->base.dev.parent->kobj.release.cpu s32min-s32max
PARAM_VALUE 0 ddc_service->link->priv->i2c->base.dev.parent->kobj.release.timer.flags 0-4294967295
PARAM_VALUE 0 ddc_service->link->priv->i2c->base.dev.parent->kobj.state_add_uevent_sent 0-1
PARAM_VALUE 0 ddc_service->link->priv->i2c->base.dev.parent->kobj.state_in_sysfs 0-1
PARAM_VALUE 0 ddc_service->link->priv->i2c->base.dev.parent->kobj.state_initialized 0-1
PARAM_VALUE 0 ddc_service->link->priv->i2c->base.dev.parent->kobj.state_remove_uevent_sent 0-1
PARAM_VALUE 0 ddc_service->link->priv->i2c->base.dev.parent->kobj.uevent_suppress 0-1
PARAM_VALUE 0 ddc_service->link->priv->i2c->base.dev.parent->links.status 0-4294967295
PARAM_VALUE 0 ddc_service->link->priv->i2c->base.dev.parent->numa_node s32min-s32max
PARAM_VALUE 0 ddc_service->link->priv->i2c->base.dev.parent->removable 0-4294967295
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &aconnector->hpd_lock
HALF_LOCKED2 &adev->dm.dc_lock
HALF_LOCKED2 &attr->mutex
HALF_LOCKED2 &dm->dc_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 _T->lock