Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/i2c/tvp5150.c tvp5150_enable() -> tvp5150_set_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
PARAM_VALUE 1 std 0-16777214,16777216-u64max
DATA_SOURCE 0 sd $0
NOCHECK_CALL

drivers/media/i2c/tvp5150.c tvp5150_s_std() -> tvp5150_set_std()

Type Parameter Key Value
PARAM_VALUE 0 sd->devnode->dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 sd->devnode->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 sd->devnode->dev.power.wakeirq->status 0-4294967295
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->fwnode (-1)-0,64
BUF_SIZE 0 sd->internal_ops (-1),48
BUF_SIZE 0 sd->state_lock (-1),152
BUF_SIZE 0 sd->v4l2_dev (-1),192
DATA_SOURCE 0 sd $0
DATA_SOURCE 1 std $1
STR_LEN 0 sd->entity.name (-1),7
STR_LEN 0 sd->name (-1),51
STR_LEN 0 sd->v4l2_dev (-1),5-9,12
STR_LEN 0 sd->v4l2_dev->name (-1),35
NOSPEC 1 std
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 sd->v4l2_dev->ref.refcount.refs.counter s32min-s32max
USER_DATA 1 std 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 sd->ctrl_handler->nr_of_buckets
NO_OVERFLOW_SIMPLE 0 sd->entity.num_pads
HALF_LOCKED2 &cx->serialize_lock
HALF_LOCKED2 &cxdev->open_lock
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &hdw->big_lock_mutex
HALF_LOCKED2 &itv->serialize_lock
HALF_LOCKED2 global &em28xx_devlist_mutex