Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/i2c/tda7432.c tda7432_probe() -> tda7432_set()

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->ctrl_handler 4096-ptr_max
PARAM_VALUE 0 sd->ctrl_handler->_lock.first_waiter 0
PARAM_VALUE 0 sd->ctrl_handler->_lock.magic 4096-ptr_max
PARAM_VALUE 0 sd->ctrl_handler->_lock.owner.counter 0
PARAM_VALUE 0 sd->ctrl_handler->buckets 0,16,4096-ptr_max
PARAM_VALUE 0 sd->ctrl_handler->ctrl_refs.next 4096-ptr_max
PARAM_VALUE 0 sd->ctrl_handler->ctrls.next 4096-ptr_max
PARAM_VALUE 0 sd->ctrl_handler->error 0
PARAM_VALUE 0 sd->ctrl_handler->lock 4096-ptr_max
PARAM_VALUE 0 sd->ctrl_handler->nr_of_buckets 1
PARAM_VALUE 0 sd->ctrl_handler->req_obj.completed 0
PARAM_VALUE 0 sd->ctrl_handler->req_obj.kref.refcount.refs.counter 1
PARAM_VALUE 0 sd->ctrl_handler->req_obj.list.next 4096-ptr_max
PARAM_VALUE 0 sd->ctrl_handler->req_obj.list.prev 4096-ptr_max
PARAM_VALUE 0 sd->ctrl_handler->req_obj.ops 0
PARAM_VALUE 0 sd->ctrl_handler->req_obj.priv 0
PARAM_VALUE 0 sd->ctrl_handler->req_obj.req 0
PARAM_VALUE 0 sd->ctrl_handler->request_is_queued 0
PARAM_VALUE 0 sd->ctrl_handler->requests.next 4096-ptr_max
PARAM_VALUE 0 sd->ctrl_handler->requests.prev 4096-ptr_max
PARAM_VALUE 0 sd->ctrl_handler->requests_queued.next 4096-ptr_max
PARAM_VALUE 0 sd->ctrl_handler->requests_queued.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 6608413932308652032
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 0
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
BUF_SIZE 0 sd 384
BUF_SIZE 0 sd->ctrl_handler 328
TERMINATED 0 sd->entity.name 1
TERMINATED 0 sd->name 1
MEM_ZERO 0 sd
MEM_ZERO 0 sd->ctrl_handler
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sd->ctrl_handler->nr_of_buckets

drivers/media/i2c/tda7432.c tda7432_remove() -> tda7432_set()

Type Parameter Key Value
BUF_SIZE 0 sd s32min-(-2),1-s32max
BUF_SIZE 0 sd s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sd unit_byte
HALF_LOCKED2 &dev->mutex