Defined in 2 files as a function:
- drivers/media/pci/intel/ipu6/ipu6-isys.c, line 106 (as a function)
- drivers/staging/media/ipu7/ipu7-isys.c, line 53 (as a function)
Referenced in 2 files:
Smatch caller information:
drivers/staging/media/ipu7/ipu7-isys.c isys_notifier_bound() -> isys_complete_ext_device_registration()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | isys | 4096-ptr_max |
| PARAM_VALUE | 0 | isys->adev->auxdev.dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | isys->adev->auxdev.dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | isys->adev->auxdev.dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 1 | sd | 4096-ptr_max |
| PARAM_VALUE | 1 | sd->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | sd->devnode->dev.iommu_group->owner_cnt | 0-4294967295 |
| PARAM_VALUE | 1 | sd->devnode->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 1 | sd->devnode->dev.kobj.release.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 1 | sd->devnode->dev.kobj.release.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 1 | sd->devnode->dev.kobj.release.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 1 | sd->devnode->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 1 | sd->devnode->dev.p->dead | 0-1 |
| PARAM_VALUE | 1 | sd->devnode->dev.p->deferred_probe_reason | 0-s64max |
| PARAM_VALUE | 1 | sd->devnode->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | sd->ops->audio | 0,4096-ptr_max |
| PARAM_VALUE | 1 | sd->ops->ir | 0,4355851174930030592,5210938004247650304 |
| PARAM_VALUE | 1 | sd->ops->sensor | 0,4096-ptr_max |
| PARAM_VALUE | 1 | sd->ops->tuner | 0,4096-ptr_max |
| PARAM_VALUE | 1 | sd->ops->vbi | 0,1125365629885390848,3691273271289118720,3864527033440124928,4807684056582819840,7529800587632279552 |
| PARAM_VALUE | 2 | csi2 | 4096-ptr_max |
| BUF_SIZE | 1 | sd->ctrl_handler | (-1),328 |
| BUF_SIZE | 1 | sd->dev | (-1),1616 |
| BUF_SIZE | 1 | sd->entity.ops | (-1),32 |
| BUF_SIZE | 1 | sd->fwnode | (-1)-0,64 |
| BUF_SIZE | 1 | sd->internal_ops | (-1),48 |
| BUF_SIZE | 1 | sd->state_lock | (-1),152 |
| DATA_SOURCE | 1 | sd | $1 |
| STR_LEN | 1 | sd->name | (-1),51 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | sd->ctrl_handler->nr_of_buckets | |
| NO_OVERFLOW_SIMPLE | 1 | sd->entity.num_pads | |
| NO_OVERFLOW_SIMPLE | 1 | sd->privacy_led->blink_delay_off | |
| NO_OVERFLOW_SIMPLE | 1 | sd->privacy_led->blink_delay_on | |
| HALF_LOCKED2 | global &list_lock |
drivers/media/pci/intel/ipu6/ipu6-isys.c isys_notifier_bound() -> isys_complete_ext_device_registration()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | isys | 4096-ptr_max |
| PARAM_VALUE | 0 | isys->pdata | 4096-ptr_max |
| PARAM_VALUE | 0 | isys->pdata->ipdata | 4096-ptr_max |
| PARAM_VALUE | 1 | sd | 4096-ptr_max |
| PARAM_VALUE | 1 | sd->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | sd->devnode->dev.iommu_group->owner_cnt | 0-4294967295 |
| PARAM_VALUE | 1 | sd->devnode->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 1 | sd->devnode->dev.kobj.release.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 1 | sd->devnode->dev.kobj.release.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 1 | sd->devnode->dev.kobj.release.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 1 | sd->devnode->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 1 | sd->devnode->dev.p->dead | 0-1 |
| PARAM_VALUE | 1 | sd->devnode->dev.p->deferred_probe_reason | 0-s64max |
| PARAM_VALUE | 1 | sd->devnode->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | sd->ops->audio | 0,4096-ptr_max |
| PARAM_VALUE | 1 | sd->ops->ir | 0,4355851174930030592,5210938004247650304 |
| PARAM_VALUE | 1 | sd->ops->sensor | 0,4096-ptr_max |
| PARAM_VALUE | 1 | sd->ops->tuner | 0,4096-ptr_max |
| PARAM_VALUE | 1 | sd->ops->vbi | 0,1125365629885390848,3691273271289118720,3864527033440124928,4807684056582819840,7529800587632279552 |
| PARAM_VALUE | 2 | csi2 | 4096-ptr_max |
| PARAM_VALUE | 2 | csi2->port | 0-7 |
| BUF_SIZE | 1 | sd->ctrl_handler | (-1),328 |
| BUF_SIZE | 1 | sd->dev | (-1),1616 |
| BUF_SIZE | 1 | sd->entity.ops | (-1),32 |
| BUF_SIZE | 1 | sd->fwnode | (-1)-0,64 |
| BUF_SIZE | 1 | sd->internal_ops | (-1),48 |
| BUF_SIZE | 1 | sd->state_lock | (-1),152 |
| DATA_SOURCE | 1 | sd | $1 |
| STR_LEN | 1 | sd->name | (-1),51 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 1 | sd->ctrl_handler->nr_of_buckets | |
| NO_OVERFLOW_SIMPLE | 1 | sd->entity.num_pads | |
| NO_OVERFLOW_SIMPLE | 1 | sd->privacy_led->blink_delay_off | |
| NO_OVERFLOW_SIMPLE | 1 | sd->privacy_led->blink_delay_on | |
| HALF_LOCKED2 | global &list_lock |