Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/cpufreq/intel_pstate.c intel_cpufreq_perf_ctl_update() -> (struct pstate_funcs)->get_val()

Type Parameter Key Value
PARAM_VALUE 0 cpudata 4096-ptr_max
DATA_SOURCE 0 cpudata $0
DATA_SOURCE 1 pstate $1
RX_PATH
TASK_NOT_RUNNING

drivers/cpufreq/intel_pstate.c intel_cpufreq_perf_ctl_update() -> (struct pstate_funcs)->get_val()

Type Parameter Key Value
PARAM_VALUE 0 cpudata 4096-ptr_max
DATA_SOURCE 0 cpudata $0
DATA_SOURCE 1 pstate $1
RX_PATH
TASK_NOT_RUNNING

drivers/cpufreq/intel_pstate.c intel_pstate_set_pstate() -> (struct pstate_funcs)->get_val()

Type Parameter Key Value
PARAM_VALUE 0 cpudata 4096-ptr_max
DATA_SOURCE 0 cpudata $0
DATA_SOURCE 1 pstate $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &policy->rwsem
HALF_LOCKED2 global &intel_pstate_limits_lock

drivers/cpufreq/intel_pstate.c intel_pstate_update_pstate() -> (struct pstate_funcs)->get_val()

Type Parameter Key Value
PARAM_VALUE 0 cpudata 4096-ptr_max
PARAM_VALUE 0 cpudata->cpu 0
PARAM_VALUE 0 cpudata->iowait_boost 0-s32max
PARAM_VALUE 0 cpudata->last_sample_time 1-u64max
CAPPED_DATA 0 cpudata->iowait_boost 1
CAPPED_DATA 0 cpudata->pstate.min_pstate 1
DATA_SOURCE 0 cpudata $0
DATA_SOURCE 1 pstate $1
FUZZY_MAX 0 cpudata->iowait_boost 256
BIT_INFO 0 cpudata 0x720b06849210cff8,0xffffffffffffffff
BIT_INFO 0 cpudata 0x720b06849210cff8,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 cpudata->prev_aperf 0-u64max
HOST_DATA 0 cpudata->prev_mperf 0-u64max