Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/bridge/analogix/anx7625.c sp_tx_edid_read() -> segments_edid_read()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->cached_drm_edid 0
PARAM_VALUE 0 ctx->dev 4096-ptr_max
PARAM_VALUE 0 ctx->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 ctx->dev->class 0,4096-ptr_max
PARAM_VALUE 0 ctx->dev->power.request 0-4
PARAM_VALUE 0 ctx->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 ctx->dev->power.wakeirq 0,4096-ptr_max
PARAM_VALUE 0 ctx->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 ctx->dev->type 0,4096-ptr_max
PARAM_VALUE 0 ctx->i2c.rx_p0_client 4096-ptr_max
PARAM_VALUE 0 ctx->i2c.rx_p0_client->adapter 4096-ptr_max
PARAM_VALUE 0 ctx->i2c.rx_p0_client->adapter->bus_lock.dep_map->name 0-255
PARAM_VALUE 0 ctx->i2c.rx_p0_client->adapter->bus_lock.rtmutex.waiters.rb_leftmost->rb_right 0
PARAM_VALUE 0 ctx->i2c.rx_p0_client->adapter->dev.driver_data->adev->pm.bus_locked 0-1
PARAM_VALUE 0 ctx->i2c.rx_p0_client->adapter->dev.driver_data->adev->pm.mutex.dep_map->name 0-255
PARAM_VALUE 0 ctx->i2c.rx_p0_client->adapter->dev.driver_data->adev->pm.mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 ctx->i2c.rx_p0_client->adapter->dev.driver_data->mutex->wait_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 ctx->i2c.rx_p0_client->adapter->lock_ops 4096-ptr_max
PARAM_VALUE 1 segment 1
PARAM_VALUE 2 buf 216589617691906048
PARAM_VALUE 3 offset 0,16
BUF_SIZE 2 buf 16
CAPPED_DATA 0 ctx->i2c.rx_p0_client 1
DATA_SOURCE 0 ctx $0
FUZZY_MAX 3 offset 16
PARAM_COMPARE 3 offset == $3
BIT_INFO 3 offset 0x0,0x10
HARD_MAX 3 offset 16
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &bridge_connector->encoder->bridge_chain_mutex
HALF_LOCKED2 &connector->dev->mode_config.connection_mutex

drivers/gpu/drm/bridge/analogix/anx7625.c sp_tx_edid_read() -> segments_edid_read()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->cached_drm_edid 0
PARAM_VALUE 0 ctx->dev 4096-ptr_max
PARAM_VALUE 0 ctx->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 ctx->dev->class 0,4096-ptr_max
PARAM_VALUE 0 ctx->dev->power.request 0-4
PARAM_VALUE 0 ctx->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 ctx->dev->power.wakeirq 0,4096-ptr_max
PARAM_VALUE 0 ctx->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 ctx->dev->type 0,4096-ptr_max
PARAM_VALUE 0 ctx->i2c.rx_p0_client 4096-ptr_max
PARAM_VALUE 0 ctx->i2c.rx_p0_client->adapter 4096-ptr_max
PARAM_VALUE 0 ctx->i2c.rx_p0_client->adapter->bus_lock.dep_map->name 0-255
PARAM_VALUE 0 ctx->i2c.rx_p0_client->adapter->bus_lock.rtmutex.waiters.rb_leftmost->rb_right 0
PARAM_VALUE 0 ctx->i2c.rx_p0_client->adapter->dev.driver_data->adev->pm.bus_locked 0-1
PARAM_VALUE 0 ctx->i2c.rx_p0_client->adapter->dev.driver_data->adev->pm.mutex.dep_map->name 0-255
PARAM_VALUE 0 ctx->i2c.rx_p0_client->adapter->dev.driver_data->adev->pm.mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 ctx->i2c.rx_p0_client->adapter->dev.driver_data->mutex->wait_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 ctx->i2c.rx_p0_client->adapter->lock_ops 4096-ptr_max
PARAM_VALUE 1 segment 1
PARAM_VALUE 2 buf 216589617691906048
PARAM_VALUE 3 offset 128,144
BUF_SIZE 2 buf 16
CAPPED_DATA 0 ctx->i2c.rx_p0_client 1
DATA_SOURCE 0 ctx $0
FUZZY_MAX 3 offset 144
PARAM_COMPARE 3 offset == $3
BIT_INFO 3 offset 0x80,0x90
HARD_MAX 3 offset 144
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &bridge_connector->encoder->bridge_chain_mutex
HALF_LOCKED2 &connector->dev->mode_config.connection_mutex