Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/cpufreq/amd-pstate-ut.c amd_pstate_ut_check_floor_freq() -> store_amd_pstate_floor_freq()

Type Parameter Key Value
PARAM_VALUE 0 policy 4096-ptr_max
PARAM_VALUE 0 policy->cpus->bits 4096-ptr_max
PARAM_VALUE 0 policy->driver_data 4096-ptr_max
PARAM_VALUE 1 buf 18379471554275704832,18446612682070032384
PARAM_VALUE 2 count 4095
DATA_SOURCE 0 policy r cpufreq_cpu_get
DATA_SOURCE 1 buf r get_free_pages_noprof
STR_LEN 0 policy 4095
STR_LEN 1 buf 4095
MEM_ZERO 1 buf
LOCK2 _T->lock

drivers/cpufreq/amd-pstate-ut.c amd_pstate_ut_check_floor_freq() -> store_amd_pstate_floor_freq()

Type Parameter Key Value
PARAM_VALUE 0 policy 4096-ptr_max
PARAM_VALUE 0 policy->cpus->bits 4096-ptr_max
PARAM_VALUE 0 policy->driver_data 4096-ptr_max
PARAM_VALUE 0 policy->driver_data->floor_freq 0-4294967295
PARAM_VALUE 1 buf 18379471554275704832,18446612682070032384
PARAM_VALUE 2 count 4095
CAPPED_DATA 0 policy->cpuinfo.min_freq 1
DATA_SOURCE 0 policy r cpufreq_cpu_get
DATA_SOURCE 1 buf r get_free_pages_noprof
STR_LEN 0 policy 4095
STR_LEN 1 buf 4095
PARAM_COMPARE 0 policy->cpuinfo.min_freq <= $0->max
MEM_ZERO 1 buf
LOCK2 _T->lock

drivers/cpufreq/cpufreq.c store() -> (struct freq_attr)->store()

Type Parameter Key Value
PARAM_VALUE 0 policy 4096-ptr_max
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 count 1-1000000000
CAPPED_DATA 2 count 1
CAPPED_DATA 2 count 1
DATA_SOURCE 1 buf $2
DATA_SOURCE 2 count $3
NOSPEC 2 count
TERMINATED 1 buf 1
RX_PATH
TASK_NOT_RUNNING
ELEM_LAST 1 ==buf2 8052
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