Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/media/i2c/adv7604.c adv76xx_set_edid() -> rep_write()

Type Parameter Key Value
PARAM_VALUE 0 sd 4096-ptr_max
PARAM_VALUE 0 sd->ops 4096-ptr_max
PARAM_VALUE 0 sd->ops->pad 4096-ptr_max
PARAM_VALUE 0 sd->ops->pad->set_edid 1190118909308989440,2627360404671320064,3535628685378744320,4588151002792300544,6701166172997963776,9178176141394767872
DATA_SOURCE 0 sd $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/i2c/adv7604.c adv76xx_set_edid() -> rep_write()

Type Parameter Key Value
PARAM_VALUE 0 sd 4096-ptr_max
PARAM_VALUE 0 sd->ops 4096-ptr_max
PARAM_VALUE 0 sd->ops->pad 4096-ptr_max
PARAM_VALUE 0 sd->ops->pad->set_edid 1190118909308989440,2627360404671320064,3535628685378744320,4588151002792300544,6701166172997963776,9178176141394767872
DATA_SOURCE 0 sd $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/i2c/adv7604.c adv76xx_set_edid() -> rep_write()

Type Parameter Key Value
PARAM_VALUE 0 sd 4096-ptr_max
PARAM_VALUE 0 sd->ops 4096-ptr_max
PARAM_VALUE 0 sd->ops->pad 4096-ptr_max
PARAM_VALUE 0 sd->ops->pad->set_edid 1190118909308989440,2627360404671320064,3535628685378744320,4588151002792300544,6701166172997963776,9178176141394767872
DATA_SOURCE 0 sd $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/i2c/adv7604.c adv76xx_set_edid() -> rep_write()

Type Parameter Key Value
PARAM_VALUE 0 sd 4096-ptr_max
PARAM_VALUE 0 sd->ops 4096-ptr_max
PARAM_VALUE 0 sd->ops->pad 4096-ptr_max
PARAM_VALUE 0 sd->ops->pad->set_edid 1190118909308989440,2627360404671320064,3535628685378744320,4588151002792300544,6701166172997963776,9178176141394767872
DATA_SOURCE 0 sd $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/i2c/adv7604.c adv76xx_set_edid() -> rep_write()

Type Parameter Key Value
PARAM_VALUE 0 sd 4096-ptr_max
PARAM_VALUE 0 sd->ops 4096-ptr_max
PARAM_VALUE 0 sd->ops->pad 4096-ptr_max
PARAM_VALUE 0 sd->ops->pad->set_edid 1190118909308989440,2627360404671320064,3535628685378744320,4588151002792300544,6701166172997963776,9178176141394767872
DATA_SOURCE 0 sd $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/i2c/adv7604.c adv76xx_set_edid() -> rep_write()

Type Parameter Key Value
PARAM_VALUE 0 sd 4096-ptr_max
PARAM_VALUE 0 sd->ops 4096-ptr_max
PARAM_VALUE 0 sd->ops->pad 4096-ptr_max
PARAM_VALUE 0 sd->ops->pad->set_edid 1190118909308989440,2627360404671320064,3535628685378744320,4588151002792300544,6701166172997963776,9178176141394767872
DATA_SOURCE 0 sd $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/i2c/adv7604.c adv76xx_set_edid() -> rep_write()

Type Parameter Key Value
PARAM_VALUE 0 sd 4096-ptr_max
PARAM_VALUE 0 sd->ops 4096-ptr_max
PARAM_VALUE 0 sd->ops->pad 4096-ptr_max
PARAM_VALUE 0 sd->ops->pad->set_edid 1190118909308989440,2627360404671320064,3535628685378744320,4588151002792300544,6701166172997963776,9178176141394767872
BUF_SIZE 0 sd s32min-(-1),1-s32max
BUF_SIZE 0 sd s32min-(-1),1-s32max
DATA_SOURCE 0 sd $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/i2c/adv7604.c rep_write_clr_set() -> rep_write()

Type Parameter Key Value
PARAM_VALUE 0 sd 4096-ptr_max
PARAM_VALUE 0 sd->ops 4096-ptr_max
PARAM_VALUE 0 sd->ops->pad 4096-ptr_max
PARAM_VALUE 0 sd->ops->pad->set_edid 1190118909308989440,2627360404671320064,3535628685378744320,4588151002792300544,6701166172997963776,9178176141394767872
BUF_SIZE 0 sd s32min-(-1),1-s32max
BUF_SIZE 0 sd s32min-(-1),1-s32max
DATA_SOURCE 0 sd $0
DATA_SOURCE 1 reg $1
RX_PATH
TASK_NOT_RUNNING

drivers/media/i2c/adv7842.c adv7842_s_register() -> rep_write()

Type Parameter Key Value
PARAM_VALUE 0 sd 4096-ptr_max
PARAM_VALUE 0 sd->ops 4096-ptr_max
PARAM_VALUE 0 sd->ops->core 4096-ptr_max
PARAM_VALUE 0 sd->ops->core->s_register 4096-ptr_max
BUF_SIZE 0 sd s32min-(-1),1-s32max
BUF_SIZE 0 sd s32min-(-1),1-s32max
DATA_SOURCE 0 sd $0
CAPABLE 0 21
NOCHECK_CALL
HALF_LOCKED2 lock

drivers/media/i2c/adv7842.c edid_write_hdmi_segment() -> rep_write()

Type Parameter Key Value
PARAM_VALUE 0 sd 4096-ptr_max
PARAM_VALUE 0 sd->dev_priv 4096-ptr_max
PARAM_VALUE 0 sd->dev_priv->adapter->bus_lock.rtmutex.waiters.rb_leftmost->rb_left 0
PARAM_VALUE 0 sd->dev_priv->adapter->bus_lock.rtmutex.waiters.rb_leftmost->rb_right 0
PARAM_VALUE 0 sd->dev_priv->adapter->dev.driver_data->adev->pm.bus_locked 0-1
PARAM_VALUE 0 sd->dev_priv->adapter->dev.driver_data->adev->pm.mutex.dep_map->name 0-255
PARAM_VALUE 0 sd->dev_priv->adapter->dev.driver_data->adev->pm.mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 sd->dev_priv->adapter->dev.driver_data->mutex->wait_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->devt 0-4294967295
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->dma_uses_io_tlb 0-1
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->id 0-4294967295
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.release.cpu s32min-s32max
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.release.timer.flags 0-4294967295
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.state_add_uevent_sent 0-1
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.state_in_sysfs 0-1
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.state_initialized 0-1
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.state_remove_uevent_sent 0-1
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.uevent_suppress 0-1
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->links.status 0-4294967295
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->numa_node s32min-s32max
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->removable 0-4294967295
PARAM_VALUE 0 sd->ops 4096-ptr_max
PARAM_VALUE 0 sd->ops->pad->set_edid 0,1190118909308989440,2627360404671320064,3535628685378744320,4588151002792300544,6701166172997963776,9178176141394767872
PARAM_VALUE 1 reg 114
DATA_SOURCE 0 sd $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/i2c/adv7842.c edid_write_hdmi_segment() -> rep_write()

Type Parameter Key Value
PARAM_VALUE 0 sd 4096-ptr_max
PARAM_VALUE 0 sd->dev_priv 4096-ptr_max
PARAM_VALUE 0 sd->dev_priv->adapter->bus_lock.rtmutex.waiters.rb_leftmost->rb_left 0
PARAM_VALUE 0 sd->dev_priv->adapter->bus_lock.rtmutex.waiters.rb_leftmost->rb_right 0
PARAM_VALUE 0 sd->dev_priv->adapter->dev.driver_data->adev->pm.bus_locked 0-1
PARAM_VALUE 0 sd->dev_priv->adapter->dev.driver_data->adev->pm.mutex.dep_map->name 0-255
PARAM_VALUE 0 sd->dev_priv->adapter->dev.driver_data->adev->pm.mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 sd->dev_priv->adapter->dev.driver_data->mutex->wait_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->devt 0-4294967295
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->dma_uses_io_tlb 0-1
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->id 0-4294967295
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.release.cpu s32min-s32max
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.release.timer.flags 0-4294967295
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.state_add_uevent_sent 0-1
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.state_in_sysfs 0-1
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.state_initialized 0-1
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.state_remove_uevent_sent 0-1
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.uevent_suppress 0-1
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->links.status 0-4294967295
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->numa_node s32min-s32max
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->removable 0-4294967295
PARAM_VALUE 0 sd->ops 4096-ptr_max
PARAM_VALUE 0 sd->ops->pad->set_edid 0,1190118909308989440,2627360404671320064,3535628685378744320,4588151002792300544,6701166172997963776,9178176141394767872
PARAM_VALUE 1 reg 115
DATA_SOURCE 0 sd $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/i2c/adv7842.c edid_write_hdmi_segment() -> rep_write()

Type Parameter Key Value
PARAM_VALUE 0 sd 4096-ptr_max
PARAM_VALUE 0 sd->dev_priv 4096-ptr_max
PARAM_VALUE 0 sd->dev_priv->adapter->bus_lock.rtmutex.waiters.rb_leftmost->rb_left 0
PARAM_VALUE 0 sd->dev_priv->adapter->bus_lock.rtmutex.waiters.rb_leftmost->rb_right 0
PARAM_VALUE 0 sd->dev_priv->adapter->dev.driver_data->adev->pm.bus_locked 0-1
PARAM_VALUE 0 sd->dev_priv->adapter->dev.driver_data->adev->pm.mutex.dep_map->name 0-255
PARAM_VALUE 0 sd->dev_priv->adapter->dev.driver_data->adev->pm.mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 sd->dev_priv->adapter->dev.driver_data->mutex->wait_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->devt 0-4294967295
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->dma_uses_io_tlb 0-1
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->id 0-4294967295
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.release.cpu s32min-s32max
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.release.timer.flags 0-4294967295
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.state_add_uevent_sent 0-1
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.state_in_sysfs 0-1
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.state_initialized 0-1
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.state_remove_uevent_sent 0-1
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.uevent_suppress 0-1
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->links.status 0-4294967295
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->numa_node s32min-s32max
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->removable 0-4294967295
PARAM_VALUE 0 sd->ops 4096-ptr_max
PARAM_VALUE 0 sd->ops->pad->set_edid 0,1190118909308989440,2627360404671320064,3535628685378744320,4588151002792300544,6701166172997963776,9178176141394767872
PARAM_VALUE 1 reg 116
DATA_SOURCE 0 sd $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/i2c/adv7842.c edid_write_hdmi_segment() -> rep_write()

Type Parameter Key Value
PARAM_VALUE 0 sd 4096-ptr_max
PARAM_VALUE 0 sd->dev_priv 4096-ptr_max
PARAM_VALUE 0 sd->dev_priv->adapter->bus_lock.rtmutex.waiters.rb_leftmost->rb_left 0
PARAM_VALUE 0 sd->dev_priv->adapter->bus_lock.rtmutex.waiters.rb_leftmost->rb_right 0
PARAM_VALUE 0 sd->dev_priv->adapter->dev.driver_data->adev->pm.bus_locked 0-1
PARAM_VALUE 0 sd->dev_priv->adapter->dev.driver_data->adev->pm.mutex.dep_map->name 0-255
PARAM_VALUE 0 sd->dev_priv->adapter->dev.driver_data->adev->pm.mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 sd->dev_priv->adapter->dev.driver_data->mutex->wait_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->devt 0-4294967295
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->dma_uses_io_tlb 0-1
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->id 0-4294967295
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.release.cpu s32min-s32max
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.release.timer.flags 0-4294967295
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.state_add_uevent_sent 0-1
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.state_in_sysfs 0-1
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.state_initialized 0-1
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.state_remove_uevent_sent 0-1
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.uevent_suppress 0-1
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->links.status 0-4294967295
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->numa_node s32min-s32max
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->removable 0-4294967295
PARAM_VALUE 0 sd->ops 4096-ptr_max
PARAM_VALUE 0 sd->ops->pad->set_edid 0,1190118909308989440,2627360404671320064,3535628685378744320,4588151002792300544,6701166172997963776,9178176141394767872
PARAM_VALUE 1 reg 117
DATA_SOURCE 0 sd $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/i2c/adv7842.c edid_write_hdmi_segment() -> rep_write()

Type Parameter Key Value
PARAM_VALUE 0 sd 4096-ptr_max
PARAM_VALUE 0 sd->dev_priv 4096-ptr_max
PARAM_VALUE 0 sd->dev_priv->adapter->bus_lock.rtmutex.waiters.rb_leftmost->rb_left 0
PARAM_VALUE 0 sd->dev_priv->adapter->bus_lock.rtmutex.waiters.rb_leftmost->rb_right 0
PARAM_VALUE 0 sd->dev_priv->adapter->dev.driver_data->adev->pm.bus_locked 0-1
PARAM_VALUE 0 sd->dev_priv->adapter->dev.driver_data->adev->pm.mutex.dep_map->name 0-255
PARAM_VALUE 0 sd->dev_priv->adapter->dev.driver_data->adev->pm.mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 sd->dev_priv->adapter->dev.driver_data->mutex->wait_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->devt 0-4294967295
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->dma_uses_io_tlb 0-1
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->id 0-4294967295
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.release.cpu s32min-s32max
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.release.timer.flags 0-4294967295
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.state_add_uevent_sent 0-1
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.state_in_sysfs 0-1
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.state_initialized 0-1
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.state_remove_uevent_sent 0-1
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.uevent_suppress 0-1
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->links.status 0-4294967295
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->numa_node s32min-s32max
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->removable 0-4294967295
PARAM_VALUE 0 sd->ops 4096-ptr_max
PARAM_VALUE 0 sd->ops->pad->set_edid 0,1190118909308989440,2627360404671320064,3535628685378744320,4588151002792300544,6701166172997963776,9178176141394767872
PARAM_VALUE 1 reg 118
DATA_SOURCE 0 sd $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/i2c/adv7842.c rep_write_and_or() -> rep_write()

Type Parameter Key Value
PARAM_VALUE 0 sd 4096-ptr_max
PARAM_VALUE 0 sd->dev_priv 4096-ptr_max
PARAM_VALUE 0 sd->dev_priv->adapter->bus_lock.dep_map->name 0-255
PARAM_VALUE 0 sd->dev_priv->adapter->dev.driver_data->adev->pm.bus_locked 0-1
PARAM_VALUE 0 sd->dev_priv->adapter->dev.driver_data->adev->pm.mutex.dep_map->name 0-255
PARAM_VALUE 0 sd->dev_priv->adapter->dev.driver_data->adev->pm.mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 sd->dev_priv->adapter->dev.driver_data->mutex->wait_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->devt 0-4294967295
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->dma_uses_io_tlb 0-1
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->id 0-4294967295
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.release.cpu s32min-s32max
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.release.timer.flags 0-4294967295
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.state_add_uevent_sent 0-1
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.state_in_sysfs 0-1
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.state_initialized 0-1
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.state_remove_uevent_sent 0-1
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->kobj.uevent_suppress 0-1
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->links.status 0-4294967295
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->numa_node s32min-s32max
PARAM_VALUE 0 sd->dev_priv->adapter->dev.parent->removable 0-4294967295
PARAM_VALUE 0 sd->ops 4096-ptr_max
PARAM_VALUE 0 sd->ops->pad->set_edid 0,1190118909308989440,2627360404671320064,3535628685378744320,4588151002792300544,6701166172997963776,9178176141394767872
PARAM_VALUE 1 reg 119,127
BUF_SIZE 0 sd (-1),384
BUF_SIZE 0 sd (-1),384
BUF_SIZE 0 sd->ctrl_handler (-1),328
BUF_SIZE 0 sd->internal_ops (-1),48
DATA_SOURCE 0 sd $0
DATA_SOURCE 1 reg $1
HARD_MAX 1 reg 127
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sd->ctrl_handler->nr_of_buckets