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 |