Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/i2c/vd56g3.c vd56g3_probe() -> vd56g3_detect()

Type Parameter Key Value
PARAM_VALUE 0 sensor 4096-ptr_max
PARAM_VALUE 0 sensor->dev 4096-ptr_max
PARAM_VALUE 0 sensor->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 sensor->dev->class 0,4096-ptr_max
PARAM_VALUE 0 sensor->dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 sensor->dev->devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 sensor->dev->devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 sensor->dev->driver 0,4096-ptr_max
PARAM_VALUE 0 sensor->ext_leds_mask 0
PARAM_VALUE 0 sensor->nb_of_lane 1-2
PARAM_VALUE 0 sensor->regmap 0-ptr_max
PARAM_VALUE 0 sensor->reset_gpio 0,4096-ptr_max
PARAM_VALUE 0 sensor->sd->name 0-255
PARAM_VALUE 0 sensor->sd.async_subdev_endpoint_list.next 4096-ptr_max
PARAM_VALUE 0 sensor->sd.async_subdev_endpoint_list.next->next 4096-ptr_max
PARAM_VALUE 0 sensor->sd.async_subdev_endpoint_list.prev 4096-ptr_max
PARAM_VALUE 0 sensor->sd.async_subdev_endpoint_list.prev->next 4096-ptr_max
PARAM_VALUE 0 sensor->sd.async_subdev_endpoint_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 sensor->sd.dev 4096-ptr_max
PARAM_VALUE 0 sensor->sd.dev->driver 4096-ptr_max
PARAM_VALUE 0 sensor->sd.dev_priv 4096-ptr_max
PARAM_VALUE 0 sensor->sd.entity.function 131072
PARAM_VALUE 0 sensor->sd.entity.name 4096-ptr_max
PARAM_VALUE 0 sensor->sd.entity.obj_type 2
PARAM_VALUE 0 sensor->sd.flags 1
PARAM_VALUE 0 sensor->sd.grp_id 0
PARAM_VALUE 0 sensor->sd.host_priv 0
PARAM_VALUE 0 sensor->sd.list.next 4096-ptr_max
PARAM_VALUE 0 sensor->sd.list.next->next 4096-ptr_max
PARAM_VALUE 0 sensor->sd.list.prev 4096-ptr_max
PARAM_VALUE 0 sensor->sd.list.prev->next 4096-ptr_max
PARAM_VALUE 0 sensor->sd.list.prev->prev 4096-ptr_max
PARAM_VALUE 0 sensor->sd.ops 6176478223105138688
PARAM_VALUE 0 sensor->sd.ops->audio 0
PARAM_VALUE 0 sensor->sd.ops->ir 0
PARAM_VALUE 0 sensor->sd.ops->sensor 0
PARAM_VALUE 0 sensor->sd.ops->tuner 0
PARAM_VALUE 0 sensor->sd.ops->vbi 0
PARAM_VALUE 0 sensor->sd.privacy_led 0
PARAM_VALUE 0 sensor->sd.v4l2_dev 0
PARAM_VALUE 0 sensor->xclk 4096-ptr_max
PARAM_VALUE 0 sensor->xclk->core->dev->power.deferred_resume 0-1
PARAM_VALUE 0 sensor->xclk->core->dev->power.idle_notification 0-1
PARAM_VALUE 0 sensor->xclk->core->dev->power.request 0-4294967295
PARAM_VALUE 0 sensor->xclk->core->dev->power.request_pending 0-1
PARAM_VALUE 0 sensor->xclk->core->dev->power.runtime_error s32min-s32max
PARAM_VALUE 0 sensor->xclk->core->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 sensor->xclk->core->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 sensor->xclk->core->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 sensor->xclk->core->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sensor->xclk_freq 0
PARAM_VALUE 0 *sensor->gpios 1-2
BUF_SIZE 0 sensor 1048
BUF_SIZE 0 sensor->dev 1616
BUF_SIZE 0 sensor->reset_gpio s32min-(-1),1-s32max
BUF_SIZE 0 sensor->xclk (-1),1-s32max
CAPPED_DATA 0 sensor->reset_gpio 1
CAPPED_DATA 0 sensor->xclk->core 1
DATA_SOURCE 0 sensor r devm_kzalloc
TERMINATED 0 sensor->sd.entity.name 1
TERMINATED 0 sensor->sd.name 1
MEM_ZERO 0 sensor
MEM_ZERO 0 sensor->supplies
RX_PATH
TASK_NOT_RUNNING