Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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 state $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