Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/i2c/tvp5150.c tvp5150_enable() -> tvp5150_read_std()

Type Parameter Key Value
PARAM_VALUE 0 sd 4096-ptr_max
PARAM_VALUE 0 sd->dev 4096-ptr_max
PARAM_VALUE 0 sd->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 sd->dev->class 0,4096-ptr_max
PARAM_VALUE 0 sd->dev->power.request 0-4
PARAM_VALUE 0 sd->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 sd->dev->power.wakeirq 0,4096-ptr_max
PARAM_VALUE 0 sd->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sd->dev->type 0,4096-ptr_max
DATA_SOURCE 0 sd $0

drivers/media/i2c/tvp5150.c tvp5150_get_hmax() -> tvp5150_read_std()

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_selection 4096-ptr_max
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
HALF_LOCKED2 &video->mutex
HALF_LOCKED2 global &list_lock

drivers/media/i2c/tvp5150.c tvp5150_get_selection() -> tvp5150_read_std()

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->get_selection 4096-ptr_max
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
HALF_LOCKED2 global &list_lock
HALF_LOCKED2 0 sd->active_state->lock

drivers/media/i2c/tvp5150.c tvp5150_init_state() -> tvp5150_read_std()

Type Parameter Key Value
PARAM_VALUE 0 sd 4096-ptr_max
PARAM_VALUE 0 sd->internal_ops 4096-ptr_max
PARAM_VALUE 0 sd->internal_ops->init_state 1-u64max
PARAM_VALUE 0 sd->ops->audio 0,4096-ptr_max
PARAM_VALUE 0 sd->ops->ir 0,4355851174930030592,5210938004247650304
PARAM_VALUE 0 sd->ops->sensor 0,4096-ptr_max
PARAM_VALUE 0 sd->ops->tuner 0,4096-ptr_max
PARAM_VALUE 0 sd->ops->vbi 0,1125365629885390848,3691273271289118720,3864527033440124928,4807684056582819840,7529800587632279552
BUF_SIZE 0 sd s32min-(-1),1-s32max
BUF_SIZE 0 sd s32min-(-1),1-s32max
BUF_SIZE 0 sd->ctrl_handler (-1),328
BUF_SIZE 0 sd->dev (-1),1616
BUF_SIZE 0 sd->entity.name (-1),8-9
BUF_SIZE 0 sd->entity.ops (-1),32
BUF_SIZE 0 sd->internal_ops (-1),48
BUF_SIZE 0 sd->state_lock (-1),152
DATA_SOURCE 0 sd $0
STR_LEN 0 sd (-1),15-17,26-27,31-44
STR_LEN 0 sd (-1),15-17,26-27,31-44
STR_LEN 0 sd->entity.name (-1),7
STR_LEN 0 sd->name (-1),51
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sd->ctrl_handler->nr_of_buckets
NO_OVERFLOW_SIMPLE 0 sd->entity.num_pads
LOCK2 sd_state->lock
HALF_LOCKED2 global &list_lock

drivers/media/i2c/tvp5150.c tvp5150_probe() -> tvp5150_read_std()

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.osq.tail.counter 0
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 13
PARAM_VALUE 0 sd->grp_id 0
PARAM_VALUE 0 sd->host_priv 0
PARAM_VALUE 0 sd->internal_ops 2934641166509674496
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 9118909702548344832
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 5343042187750146048
PARAM_VALUE 0 sd->ops->vbi 4807684056582819840
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
BUF_SIZE 0 sd->internal_ops 48
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
NO_OVERFLOW_SIMPLE 0 sd->ctrl_handler->nr_of_buckets

drivers/media/i2c/tvp5150.c tvp5150_querystd() -> tvp5150_read_std()

Type Parameter Key Value
PARAM_VALUE 0 sd 4096-ptr_max
PARAM_VALUE 0 sd->ops 4096-ptr_max
DATA_SOURCE 0 sd $0
RX_PATH
TASK_NOT_RUNNING