Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/cpufreq/intel_pstate.c intel_cpufreq_adjust_perf() -> intel_cpufreq_hwp_update()

Type Parameter Key Value
PARAM_VALUE 0 cpu 4096-ptr_max
PARAM_VALUE 4 fast_switch 1
CAPPED_DATA 0 cpu->min_perf_ratio 1
CAPPED_DATA 0 cpu->pstate.min_pstate 1
CAPPED_DATA 1 min 1
CAPPED_DATA 2 max 1
CAPPED_DATA 3 desired 1
PARAM_COMPARE 1 min <= $2
PARAM_COMPARE 1 min <= $3
PARAM_COMPARE 2 max >= $1
PARAM_COMPARE 2 max >= $3
PARAM_COMPARE 3 desired <= $2
PARAM_COMPARE 3 desired >= $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/cpufreq/intel_pstate.c intel_cpufreq_cpu_init() -> intel_cpufreq_hwp_update()

Type Parameter Key Value
PARAM_VALUE 0 cpu 4096-ptr_max
PARAM_VALUE 0 cpu->hwp_cap_cached 0
PARAM_VALUE 0 cpu->hwp_req_cached 0
PARAM_VALUE 0 cpu->pstate.max_pstate 0
PARAM_VALUE 0 cpu->pstate.turbo_pstate 0
PARAM_VALUE 2 max 0
PARAM_VALUE 4 fast_switch 0
CAPPED_DATA 0 cpu->cpu 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &policy->rwsem
HALF_LOCKED2 &sp->mutex
TYPE_LOCK (struct cpufreq_policy)->rwsem

drivers/cpufreq/intel_pstate.c intel_cpufreq_update_pstate() -> intel_cpufreq_hwp_update()

Type Parameter Key Value
PARAM_VALUE 0 cpu 4096-ptr_max
DATA_SOURCE 1 min r intel_pstate_prepare_request
DATA_SOURCE 3 desired r intel_pstate_prepare_request
DATA_SOURCE 4 fast_switch $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL