Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 2 files as a function:
Referenced in 7 files:
- drivers/clk/tegra/cvb.c, line 140
- drivers/cpufreq/armada-37xx-cpufreq.c
- drivers/cpufreq/armada-8k-cpufreq.c, line 122
- drivers/cpufreq/mvebu-cpufreq.c, line 84
- drivers/firmware/arm_scpi.c, line 710
- drivers/opp/core.c, line 1823
- drivers/ufs/core/ufshcd.c
Smatch caller information:
drivers/ufs/core/ufshcd.c ufshcd_devfreq_init() -> dev_pm_opp_remove()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->kobj.release.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 0 | dev->kobj.release.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | dev->kobj.release.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 0 | dev->of_node->properties | 4096-ptr_max |
| CAPPED_DATA | 0 | dev | 1 |
| NOCHECK_CALL |
drivers/ufs/core/ufshcd.c ufshcd_devfreq_init() -> dev_pm_opp_remove()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->kobj.release.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 0 | dev->kobj.release.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | dev->kobj.release.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 0 | dev->of_node->properties | 4096-ptr_max |
| CAPPED_DATA | 0 | dev | 1 |
| NOCHECK_CALL |
drivers/ufs/core/ufshcd.c ufshcd_devfreq_remove() -> dev_pm_opp_remove()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev->kobj.sd->attr.notify_next | 0,426918848001064960 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/ufs/core/ufshcd.c ufshcd_devfreq_remove() -> dev_pm_opp_remove()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev->kobj.sd->attr.notify_next | 0,426918848001064960 |
| CAPPED_DATA | 0 | dev | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/cpufreq/armada-37xx-cpufreq.c armada37xx_cpufreq_driver_exit() -> dev_pm_opp_remove()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | freq | 100000000-1200000000 |
| NOCHECK_CALL |
drivers/cpufreq/armada-37xx-cpufreq.c armada37xx_cpufreq_driver_init() -> dev_pm_opp_remove()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dma_ops->dma_supported | 0,2528523692154392576,3617072262637035520,5023592177070743552,5276104885786021888 |
| PARAM_VALUE | 0 | dev->dma_ops->map_phys | 0,2506261230157742080,4169194063996235776,4848421345171935232,6326163439792029696 |
| PARAM_VALUE | 0 | dev->dma_ops->map_sg | 0,2118452656510775296,2518538481676259328,5872201013595766784,6630017431831871488 |
| PARAM_VALUE | 0 | dev->dma_ops->mmap | 0,5761417605877342208,7694740394750603264 |
| PARAM_VALUE | 0 | dev->dma_ops->unmap_phys | 0,3634718672199266304,5690836758666383360,6257189515678003200,7756707427785986048 |
| PARAM_VALUE | 0 | dev->dma_ops->unmap_sg | 0,1256335292805263360,8472845699660435456,8676762248147066880,8920167536469053440 |
| PARAM_VALUE | 0 | dev->of_node->properties | 4096-ptr_max |
| PARAM_VALUE | 0 | *dev->p->deferred_probe_reason | 0-255 |
| PARAM_VALUE | 1 | freq | 100000000-1200000000 |
| CAPPED_DATA | 0 | dev | 1 |
| DATA_SOURCE | 0 | dev | r get_cpu_device |
| NOCHECK_CALL |
drivers/cpufreq/armada-8k-cpufreq.c armada_8k_cpufreq_free_table() -> dev_pm_opp_remove()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 1-u64max |
| PARAM_VALUE | 1 | freq | 0-u32max |
| NOCHECK_CALL |
drivers/firmware/arm_scpi.c scpi_dvfs_add_opps_to_device() -> dev_pm_opp_remove()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->of_node | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->of_node->properties | 4096-ptr_max |
| PARAM_VALUE | 0 | *dev->p->deferred_probe_reason | 0-255 |
| PARAM_VALUE | 1 | freq | 0-u32max |
| CAPPED_DATA | 0 | dev | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &policy->rwsem | ||
| HALF_LOCKED2 | &sp->mutex | ||
| TYPE_LOCK | (struct cpufreq_policy)->rwsem |