Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/media/dvb-frontends/s5h1432.c s5h1432_set_frontend() -> s5h1432_set_IF()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fe | 4096-ptr_max |
| PARAM_VALUE | 0 | fe->demodulator_priv | 4096-ptr_max |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c | 4096-ptr_max |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.driver_data->adev->pm.bus_locked | 0-1 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.driver_data->adev->pm.mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.driver_data->adev->pm.mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->devt | 0-4294967295 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->dma_uses_io_tlb | 0-1 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->id | 0-4294967295 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.release.cpu | s32min-s32max |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.release.timer.flags | 0-4294967295 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.state_add_uevent_sent | 0-1 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.state_in_sysfs | 0-1 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.state_initialized | 0-1 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.state_remove_uevent_sent | 0-1 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.uevent_suppress | 0-1 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->links.status | 0-4294967295 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->numa_node | s32min-s32max |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->removable | 0-4294967295 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->lock_ops | 4096-ptr_max |
| PARAM_VALUE | 1 | ifFreqHz | 4000000 |
| DATA_SOURCE | 0 | fe | $0 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &state->fe_mutex |
drivers/media/dvb-frontends/s5h1432.c s5h1432_set_frontend() -> s5h1432_set_IF()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fe | 4096-ptr_max |
| PARAM_VALUE | 0 | fe->demodulator_priv | 4096-ptr_max |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c | 4096-ptr_max |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.driver_data->adev->pm.bus_locked | 0-1 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.driver_data->adev->pm.mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.driver_data->adev->pm.mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->devt | 0-4294967295 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->dma_uses_io_tlb | 0-1 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->id | 0-4294967295 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.release.cpu | s32min-s32max |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.release.timer.flags | 0-4294967295 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.state_add_uevent_sent | 0-1 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.state_in_sysfs | 0-1 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.state_initialized | 0-1 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.state_remove_uevent_sent | 0-1 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.uevent_suppress | 0-1 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->links.status | 0-4294967295 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->numa_node | s32min-s32max |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->removable | 0-4294967295 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->lock_ops | 4096-ptr_max |
| PARAM_VALUE | 1 | ifFreqHz | 4000000 |
| DATA_SOURCE | 0 | fe | $0 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &state->fe_mutex |
drivers/media/dvb-frontends/s5h1432.c s5h1432_set_frontend() -> s5h1432_set_IF()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fe | 4096-ptr_max |
| PARAM_VALUE | 0 | fe->demodulator_priv | 4096-ptr_max |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c | 4096-ptr_max |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.driver_data->adev->pm.bus_locked | 0-1 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.driver_data->adev->pm.mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.driver_data->adev->pm.mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->devt | 0-4294967295 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->dma_uses_io_tlb | 0-1 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->id | 0-4294967295 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.release.cpu | s32min-s32max |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.release.timer.flags | 0-4294967295 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.state_add_uevent_sent | 0-1 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.state_in_sysfs | 0-1 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.state_initialized | 0-1 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.state_remove_uevent_sent | 0-1 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.uevent_suppress | 0-1 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->links.status | 0-4294967295 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->numa_node | s32min-s32max |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->removable | 0-4294967295 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->lock_ops | 4096-ptr_max |
| PARAM_VALUE | 1 | ifFreqHz | 4000000 |
| DATA_SOURCE | 0 | fe | $0 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &state->fe_mutex |
drivers/media/dvb-frontends/s5h1432.c s5h1432_set_frontend() -> s5h1432_set_IF()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fe | 4096-ptr_max |
| PARAM_VALUE | 0 | fe->demodulator_priv | 4096-ptr_max |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c | 4096-ptr_max |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.driver_data->adev->pm.bus_locked | 0-1 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.driver_data->adev->pm.mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.driver_data->adev->pm.mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->devt | 0-4294967295 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->dma_uses_io_tlb | 0-1 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->id | 0-4294967295 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.release.cpu | s32min-s32max |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.release.timer.flags | 0-4294967295 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.state_add_uevent_sent | 0-1 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.state_in_sysfs | 0-1 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.state_initialized | 0-1 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.state_remove_uevent_sent | 0-1 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.uevent_suppress | 0-1 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->links.status | 0-4294967295 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->numa_node | s32min-s32max |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->removable | 0-4294967295 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->lock_ops | 4096-ptr_max |
| PARAM_VALUE | 1 | ifFreqHz | 4000000 |
| DATA_SOURCE | 0 | fe | $0 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &state->fe_mutex |
drivers/media/dvb-frontends/s5h1432.c s5h1432_set_frontend() -> s5h1432_set_IF()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fe | 4096-ptr_max |
| PARAM_VALUE | 0 | fe->demodulator_priv | 4096-ptr_max |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c | 4096-ptr_max |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.driver_data->adev->pm.bus_locked | 0-1 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.driver_data->adev->pm.mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.driver_data->adev->pm.mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->devt | 0-4294967295 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->dma_uses_io_tlb | 0-1 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->id | 0-4294967295 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.release.cpu | s32min-s32max |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.release.timer.flags | 0-4294967295 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.state_add_uevent_sent | 0-1 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.state_in_sysfs | 0-1 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.state_initialized | 0-1 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.state_remove_uevent_sent | 0-1 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.uevent_suppress | 0-1 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->links.status | 0-4294967295 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->numa_node | s32min-s32max |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->removable | 0-4294967295 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->lock_ops | 4096-ptr_max |
| PARAM_VALUE | 1 | ifFreqHz | 4000000 |
| DATA_SOURCE | 0 | fe | $0 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &state->fe_mutex |
drivers/media/dvb-frontends/s5h1432.c s5h1432_set_frontend() -> s5h1432_set_IF()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fe | 4096-ptr_max |
| PARAM_VALUE | 0 | fe->demodulator_priv | 4096-ptr_max |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c | 4096-ptr_max |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.driver_data->adev->pm.bus_locked | 0-1 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.driver_data->adev->pm.mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.driver_data->adev->pm.mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->devt | 0-4294967295 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->dma_uses_io_tlb | 0-1 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->id | 0-4294967295 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.release.cpu | s32min-s32max |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.release.timer.flags | 0-4294967295 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.state_add_uevent_sent | 0-1 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.state_in_sysfs | 0-1 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.state_initialized | 0-1 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.state_remove_uevent_sent | 0-1 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->kobj.uevent_suppress | 0-1 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->links.status | 0-4294967295 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->numa_node | s32min-s32max |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->dev.parent->removable | 0-4294967295 |
| PARAM_VALUE | 0 | fe->demodulator_priv->i2c->lock_ops | 4096-ptr_max |
| PARAM_VALUE | 1 | ifFreqHz | 4000000 |
| DATA_SOURCE | 0 | fe | $0 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &state->fe_mutex |