Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/i2c/tda9840.c tda9840_probe() -> tda9840_write()

Type Parameter Key Value
PARAM_VALUE 0 sd 4096-ptr_max
PARAM_VALUE 0 sd->async_subdev_endpoint_list.next 4096-ptr_max
PARAM_VALUE 0 sd->async_subdev_endpoint_list.next->next 4096-ptr_max
PARAM_VALUE 0 sd->async_subdev_endpoint_list.prev 4096-ptr_max
PARAM_VALUE 0 sd->async_subdev_endpoint_list.prev->next 4096-ptr_max
PARAM_VALUE 0 sd->async_subdev_endpoint_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 sd->dev 4096-ptr_max
PARAM_VALUE 0 sd->dev->driver 4096-ptr_max
PARAM_VALUE 0 sd->dev_priv 4096-ptr_max
PARAM_VALUE 0 sd->entity.function 131072
PARAM_VALUE 0 sd->entity.name 4096-ptr_max
PARAM_VALUE 0 sd->entity.obj_type 2
PARAM_VALUE 0 sd->flags 1
PARAM_VALUE 0 sd->grp_id 0
PARAM_VALUE 0 sd->host_priv 0
PARAM_VALUE 0 sd->list.next 4096-ptr_max
PARAM_VALUE 0 sd->list.next->next 4096-ptr_max
PARAM_VALUE 0 sd->list.prev 4096-ptr_max
PARAM_VALUE 0 sd->list.prev->next 4096-ptr_max
PARAM_VALUE 0 sd->list.prev->prev 4096-ptr_max
PARAM_VALUE 0 sd->ops 192396378735190016
PARAM_VALUE 0 sd->ops->audio 0
PARAM_VALUE 0 sd->ops->ir 0
PARAM_VALUE 0 sd->ops->sensor 0
PARAM_VALUE 0 sd->ops->tuner 3321770871632584704
PARAM_VALUE 0 sd->ops->vbi 0
PARAM_VALUE 0 sd->privacy_led 0
PARAM_VALUE 0 sd->v4l2_dev 0
PARAM_VALUE 0 *sd->name 0-255
PARAM_VALUE 1 reg 2
PARAM_VALUE 2 val 0
BUF_SIZE 0 sd 384
DATA_SOURCE 0 sd r devm_kzalloc
TERMINATED 0 sd->entity.name 1
TERMINATED 0 sd->name 1
MEM_ZERO 0 sd
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/i2c/tda9840.c tda9840_probe() -> tda9840_write()

Type Parameter Key Value
PARAM_VALUE 0 sd 4096-ptr_max
PARAM_VALUE 0 sd->async_subdev_endpoint_list.next 4096-ptr_max
PARAM_VALUE 0 sd->async_subdev_endpoint_list.next->next 4096-ptr_max
PARAM_VALUE 0 sd->async_subdev_endpoint_list.prev 4096-ptr_max
PARAM_VALUE 0 sd->async_subdev_endpoint_list.prev->next 4096-ptr_max
PARAM_VALUE 0 sd->async_subdev_endpoint_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 sd->dev 4096-ptr_max
PARAM_VALUE 0 sd->dev->driver 4096-ptr_max
PARAM_VALUE 0 sd->dev_priv 4096-ptr_max
PARAM_VALUE 0 sd->dev_priv->adapter 4096-ptr_max
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.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->dev_priv->adapter->lock_ops 4096-ptr_max
PARAM_VALUE 0 sd->entity.function 131072
PARAM_VALUE 0 sd->entity.name 4096-ptr_max
PARAM_VALUE 0 sd->entity.obj_type 2
PARAM_VALUE 0 sd->flags 1
PARAM_VALUE 0 sd->grp_id 0
PARAM_VALUE 0 sd->host_priv 0
PARAM_VALUE 0 sd->list.next 4096-ptr_max
PARAM_VALUE 0 sd->list.next->next 4096-ptr_max
PARAM_VALUE 0 sd->list.prev 4096-ptr_max
PARAM_VALUE 0 sd->list.prev->next 4096-ptr_max
PARAM_VALUE 0 sd->list.prev->prev 4096-ptr_max
PARAM_VALUE 0 sd->ops 192396378735190016
PARAM_VALUE 0 sd->ops->audio 0
PARAM_VALUE 0 sd->ops->ir 0
PARAM_VALUE 0 sd->ops->sensor 0
PARAM_VALUE 0 sd->ops->tuner 3321770871632584704
PARAM_VALUE 0 sd->ops->vbi 0
PARAM_VALUE 0 sd->privacy_led 0
PARAM_VALUE 0 sd->v4l2_dev 0
PARAM_VALUE 0 *sd->name 0-255
PARAM_VALUE 1 reg 3
PARAM_VALUE 2 val 0
BUF_SIZE 0 sd 384
DATA_SOURCE 0 sd r devm_kzalloc
TERMINATED 0 sd->entity.name 1
TERMINATED 0 sd->name 1
MEM_ZERO 0 sd
MEM_ZERO 0 sd->dev_priv
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/i2c/tda9840.c tda9840_probe() -> tda9840_write()

Type Parameter Key Value
PARAM_VALUE 0 sd 4096-ptr_max
PARAM_VALUE 0 sd->async_subdev_endpoint_list.next 4096-ptr_max
PARAM_VALUE 0 sd->async_subdev_endpoint_list.next->next 4096-ptr_max
PARAM_VALUE 0 sd->async_subdev_endpoint_list.prev 4096-ptr_max
PARAM_VALUE 0 sd->async_subdev_endpoint_list.prev->next 4096-ptr_max
PARAM_VALUE 0 sd->async_subdev_endpoint_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 sd->dev 4096-ptr_max
PARAM_VALUE 0 sd->dev->driver 4096-ptr_max
PARAM_VALUE 0 sd->dev_priv 4096-ptr_max
PARAM_VALUE 0 sd->dev_priv->adapter 4096-ptr_max
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.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->dev_priv->adapter->lock_ops 4096-ptr_max
PARAM_VALUE 0 sd->entity.function 131072
PARAM_VALUE 0 sd->entity.name 4096-ptr_max
PARAM_VALUE 0 sd->entity.obj_type 2
PARAM_VALUE 0 sd->flags 1
PARAM_VALUE 0 sd->grp_id 0
PARAM_VALUE 0 sd->host_priv 0
PARAM_VALUE 0 sd->list.next 4096-ptr_max
PARAM_VALUE 0 sd->list.next->next 4096-ptr_max
PARAM_VALUE 0 sd->list.prev 4096-ptr_max
PARAM_VALUE 0 sd->list.prev->next 4096-ptr_max
PARAM_VALUE 0 sd->list.prev->prev 4096-ptr_max
PARAM_VALUE 0 sd->ops 192396378735190016
PARAM_VALUE 0 sd->ops->audio 0
PARAM_VALUE 0 sd->ops->ir 0
PARAM_VALUE 0 sd->ops->sensor 0
PARAM_VALUE 0 sd->ops->tuner 3321770871632584704
PARAM_VALUE 0 sd->ops->vbi 0
PARAM_VALUE 0 sd->privacy_led 0
PARAM_VALUE 0 sd->v4l2_dev 0
PARAM_VALUE 0 *sd->name 0-255
PARAM_VALUE 1 reg 0
PARAM_VALUE 2 val 42
BUF_SIZE 0 sd 384
DATA_SOURCE 0 sd r devm_kzalloc
TERMINATED 0 sd->entity.name 1
TERMINATED 0 sd->name 1
MEM_ZERO 0 sd
MEM_ZERO 0 sd->dev_priv
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/i2c/tda9840.c tda9840_s_tuner() -> tda9840_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 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.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->dev_priv->adapter->lock_ops 4096-ptr_max
PARAM_VALUE 0 sd->ops 4096-ptr_max
PARAM_VALUE 1 reg 0
PARAM_VALUE 2 val 16,18,26,30,42
DATA_SOURCE 0 sd $0
BIT_INFO 2 val 0x0,0x3e
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &hdw->big_lock_mutex