Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/cpufreq/cpufreq.c cpufreq_set_policy() -> cpufreq_init_governor()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | policy | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->cached_target_freq | u32max |
| PARAM_VALUE | 0 | policy->freq_table | 0,4096-ptr_max |
| PARAM_VALUE | 0 | policy->governor->exit | 0,4096-ptr_max |
| PARAM_VALUE | 0 | policy->governor->flags | 0-2 |
| PARAM_VALUE | 0 | policy->governor->init | 0,4096-ptr_max |
| PARAM_VALUE | 0 | policy->governor->limits | 0,4096-ptr_max |
| PARAM_VALUE | 0 | policy->governor->owner | 0,4096-ptr_max |
| PARAM_VALUE | 0 | policy->governor->show_setspeed | 0,6023193915670159360 |
| PARAM_VALUE | 0 | policy->governor->start | 0,4096-ptr_max |
| PARAM_VALUE | 0 | policy->governor->stop | 0,4096-ptr_max |
| PARAM_VALUE | 0 | policy->governor->store_setspeed | 0,5607523499178598400 |
| PARAM_VALUE | 0 | policy->kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| BUF_SIZE | 0 | policy | (-1),1576 |
| BUF_SIZE | 0 | policy | (-1),1576 |
| BUF_SIZE | 0 | policy->cdev | (-1),1880 |
| BUF_SIZE | 0 | policy->governor | (-1)-0,104 |
| CAPPED_DATA | 0 | policy->cpuinfo.max_freq | 1 |
| CAPPED_DATA | 0 | policy->max | 1 |
| CAPPED_DATA | 0 | policy->min | 1 |
| DATA_SOURCE | 0 | policy | $0 |
| STR_LEN | 0 | policy | (-1),8-9,11-29,31-34,38 |
| STR_LEN | 0 | policy | (-1),8-9,11-29,31-34,38 |
| STR_LEN | 0 | policy->cpu | (-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | policy->cached_target_freq | |
| NO_OVERFLOW_SIMPLE | 0 | policy->cur | |
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | 0 | &policy->rwsem |
drivers/cpufreq/cpufreq.c cpufreq_set_policy() -> cpufreq_init_governor()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | policy | 4096-ptr_max |
| PARAM_VALUE | 0 | policy->cached_target_freq | u32max |
| PARAM_VALUE | 0 | policy->freq_table | 0,4096-ptr_max |
| PARAM_VALUE | 0 | policy->governor | 1-u64max |
| PARAM_VALUE | 0 | policy->governor->exit | 0,4096-ptr_max |
| PARAM_VALUE | 0 | policy->governor->flags | 0-2 |
| PARAM_VALUE | 0 | policy->governor->init | 0,4096-ptr_max |
| PARAM_VALUE | 0 | policy->governor->limits | 0,4096-ptr_max |
| PARAM_VALUE | 0 | policy->governor->owner | 0,4096-ptr_max |
| PARAM_VALUE | 0 | policy->governor->show_setspeed | 0,6023193915670159360 |
| PARAM_VALUE | 0 | policy->governor->start | 0,4096-ptr_max |
| PARAM_VALUE | 0 | policy->governor->stop | 0,4096-ptr_max |
| PARAM_VALUE | 0 | policy->governor->store_setspeed | 0,5607523499178598400 |
| PARAM_VALUE | 0 | policy->kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| BUF_SIZE | 0 | policy | (-1),1576 |
| BUF_SIZE | 0 | policy | (-1),1576 |
| BUF_SIZE | 0 | policy->cdev | (-1),1880 |
| CAPPED_DATA | 0 | policy->cpuinfo.max_freq | 1 |
| CAPPED_DATA | 0 | policy->max | 1 |
| CAPPED_DATA | 0 | policy->min | 1 |
| DATA_SOURCE | 0 | policy | $0 |
| STR_LEN | 0 | policy | (-1) |
| STR_LEN | 0 | policy | (-1) |
| STR_LEN | 0 | policy->cpu | (-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | policy->cached_target_freq | |
| NO_OVERFLOW_SIMPLE | 0 | policy->cur | |
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | 0 | &policy->rwsem |