Open Menu /

Defined in 1 files as a member:

Defined in 1 files as a function:

Referenced in 10 files:

Smatch caller information:

drivers/cpufreq/acpi-cpufreq.c acpi_cpufreq_cpu_init() -> set_boost()

Type Parameter Key Value
PARAM_VALUE 0 policy 4096-ptr_max
PARAM_VALUE 0 policy->boost_supported 1
PARAM_VALUE 0 policy->constraints.max_freq.default_value s32max
PARAM_VALUE 0 policy->constraints.max_freq.no_constraint_value s32max
PARAM_VALUE 0 policy->constraints.max_freq.notifiers 4096-ptr_max
PARAM_VALUE 0 policy->constraints.max_freq.notifiers->head 1-u64max
PARAM_VALUE 0 policy->constraints.max_freq.target_value s32max
PARAM_VALUE 0 policy->constraints.max_freq.type 2
PARAM_VALUE 0 policy->constraints.min_freq.notifiers->head 4096-ptr_max
PARAM_VALUE 0 policy->cpus 1-u64max
PARAM_VALUE 0 policy->driver_data 4096-ptr_max
PARAM_VALUE 0 policy->freq_table 4096-ptr_max
PARAM_VALUE 0 policy->governor 0
PARAM_VALUE 0 policy->kobj.entry.next 4096-ptr_max
PARAM_VALUE 0 policy->kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 policy->kobj.kset->list.prev 4096-ptr_max
PARAM_VALUE 0 policy->kobj.kset->list.prev->next 4096-ptr_max
PARAM_VALUE 0 policy->kobj.kset->list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 policy->kobj.kset->list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 policy->kobj.ktype 4096-ptr_max
PARAM_VALUE 0 policy->kobj.parent 4096-ptr_max
PARAM_VALUE 0 policy->kobj.sd 4096-ptr_max
PARAM_VALUE 0 policy->kobj.sd->active.counter (-2147483647)
PARAM_VALUE 0 policy->kobj.state_add_uevent_sent 0
PARAM_VALUE 0 policy->kobj.state_in_sysfs 1
PARAM_VALUE 0 policy->kobj.state_initialized 1
PARAM_VALUE 0 policy->kobj.state_remove_uevent_sent 0
PARAM_VALUE 0 policy->kobj_unregister.done 0
PARAM_VALUE 0 policy->kobj_unregister.wait.lock.magic 3735899821
PARAM_VALUE 0 policy->kobj_unregister.wait.lock.owner (-1)
PARAM_VALUE 0 policy->kobj_unregister.wait.lock.owner_cpu u32max
PARAM_VALUE 0 policy->kobj_unregister.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 policy->kobj_unregister.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 policy->kobj_unregister.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 policy->kobj_unregister.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 policy->kobj_unregister.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 policy->nb_max.next 0,4096-ptr_max
PARAM_VALUE 0 policy->nb_max.notifier_call 7616948675267461120
PARAM_VALUE 0 policy->nb_min.next 0,4096-ptr_max
PARAM_VALUE 0 policy->nb_min.notifier_call 2421879883277840384
PARAM_VALUE 0 policy->policy_list.next 4096-ptr_max
PARAM_VALUE 0 policy->policy_list.next->next 4096-ptr_max
PARAM_VALUE 0 policy->policy_list.prev 4096-ptr_max
PARAM_VALUE 0 policy->policy_list.prev->next 4096-ptr_max
PARAM_VALUE 0 policy->policy_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 policy->real_cpus 1-u64max
PARAM_VALUE 0 policy->related_cpus 1-u64max
PARAM_VALUE 0 policy->rwsem.dep_map->name 0-255
PARAM_VALUE 0 policy->transition_wait.head.next 4096-ptr_max
PARAM_VALUE 0 policy->transition_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 policy->transition_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 policy->transition_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 policy->transition_wait.head.prev->prev 4096-ptr_max
BUF_SIZE 0 policy (-1),1576
BUF_SIZE 0 policy (-1),1576
BUF_SIZE 0 policy->driver_data 40
BUF_SIZE 0 policy->freq_table 0-51539607540
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
BIT_INFO 0 policy->cpu 0x0,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &policy->rwsem
HALF_LOCKED2 &sp->mutex
TYPE_LOCK (struct cpufreq_policy)->rwsem

drivers/cpufreq/acpi-cpufreq.c store_cpb() -> set_boost()

Type Parameter Key Value
PARAM_VALUE 0 policy 4096-ptr_max
PARAM_VALUE 1 val 0-1
DATA_SOURCE 0 policy $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 val
LOCK2 &of->mutex
LOCK2 0 &policy->rwsem
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct cpufreq_policy)->rwsem
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/cpufreq/cpufreq.c policy_set_boost() -> (struct cpufreq_driver)->set_boost()

Type Parameter Key Value
PARAM_VALUE 0 policy 4096-ptr_max
PARAM_VALUE 0 policy->boost_supported 1
PARAM_VALUE 0 policy->cdev->device.dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 policy->cdev->device.dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 0 policy->cdev->device.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 policy->cdev->device.dma_io_tlb_mem->force_bounce 0-1
PARAM_VALUE 0 policy->cdev->device.dma_io_tlb_mem->nslabs 0-s64max
PARAM_VALUE 0 policy->cdev->device.dma_io_tlb_mem->phys_limit 0-s64max
PARAM_VALUE 0 policy->cdev->device.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 policy->governor->exit 0,1894474972433793024,2132229015881416704,5925105349801209856
PARAM_VALUE 0 policy->governor->flags 0-2
PARAM_VALUE 0 policy->governor->init 0,2103641439485366272,2343328830101786624,6783820666938757120
PARAM_VALUE 0 policy->governor->limits 0,3496226000715804672,4009704296212340736,4248581626697375744,5666071708271747072,9015490899694264320
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,1003581222405033984,1981512506854174720,2763010142926921728
PARAM_VALUE 0 policy->governor->stop 0,5005321691247378432,7665718233138106368,7876107350416359424
PARAM_VALUE 0 policy->governor->store_setspeed 0,5607523499178598400
BUF_SIZE 0 policy (-1),1576
BUF_SIZE 0 policy (-1),1576
BUF_SIZE 0 policy->cdev (-1)-0,96,1880
DATA_SOURCE 0 policy $0
DATA_SOURCE 1 val $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->max
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 0 &policy->rwsem

drivers/cpufreq/cpufreq.c policy_set_boost() -> (struct cpufreq_driver)->set_boost()

Type Parameter Key Value
PARAM_VALUE 0 policy 4096-ptr_max
PARAM_VALUE 0 policy->boost_supported 1
PARAM_VALUE 0 policy->cdev->device.dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 policy->cdev->device.dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 0 policy->cdev->device.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 policy->cdev->device.dma_io_tlb_mem->force_bounce 0-1
PARAM_VALUE 0 policy->cdev->device.dma_io_tlb_mem->nslabs 0-s64max
PARAM_VALUE 0 policy->cdev->device.dma_io_tlb_mem->phys_limit 0-s64max
PARAM_VALUE 0 policy->cdev->device.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 policy->governor->exit 0,1894474972433793024,2132229015881416704,5925105349801209856
PARAM_VALUE 0 policy->governor->flags 0-2
PARAM_VALUE 0 policy->governor->init 0,2103641439485366272,2343328830101786624,6783820666938757120
PARAM_VALUE 0 policy->governor->limits 0,3496226000715804672,4009704296212340736,4248581626697375744,5666071708271747072,9015490899694264320
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,1003581222405033984,1981512506854174720,2763010142926921728
PARAM_VALUE 0 policy->governor->stop 0,5005321691247378432,7665718233138106368,7876107350416359424
PARAM_VALUE 0 policy->governor->store_setspeed 0,5607523499178598400
BUF_SIZE 0 policy (-1),1576
BUF_SIZE 0 policy (-1),1576
BUF_SIZE 0 policy->cdev (-1)-0,96,1880
DATA_SOURCE 0 policy $0
STR_LEN 0 policy->cpu (-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 policy->driver_data->cur.aperf s64min-s64max
HOST_DATA 0 policy->driver_data->cur.mperf s64min-s64max
HOST_DATA 0 policy->driver_data->prev.aperf s64min-s64max
HOST_DATA 0 policy->driver_data->prev.mperf s64min-s64max
NO_OVERFLOW_SIMPLE 0 policy->cached_target_freq
NO_OVERFLOW_SIMPLE 0 policy->max
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 0 &policy->rwsem