Defined in 1 files as a function:

Referenced in 8 files:

Smatch caller information:

drivers/cpufreq/pcc-cpufreq.c pcc_cpufreq_verify() -> cpufreq_verify_within_cpu_limits()

Type Parameter Key Value
PARAM_VALUE 0 policy 3252979636469428224
DATA_SOURCE 0 policy $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &policy->rwsem

drivers/cpufreq/amd-pstate.c amd_pstate_verify() -> cpufreq_verify_within_cpu_limits()

Type Parameter Key Value
PARAM_VALUE 0 policy 3252979636469428224
DATA_SOURCE 0 policy $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &policy->rwsem

drivers/cpufreq/freq_table.c cpufreq_frequency_table_verify() -> cpufreq_verify_within_cpu_limits()

Type Parameter Key Value
PARAM_VALUE 0 policy 3252979636469428224
DATA_SOURCE 0 policy $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &policy->rwsem

drivers/cpufreq/freq_table.c cpufreq_frequency_table_verify() -> cpufreq_verify_within_cpu_limits()

Type Parameter Key Value
PARAM_VALUE 0 policy 3252979636469428224
PARAM_VALUE 0 policy->max 0-4294967293
CAPPED_DATA 0 policy->max 1
DATA_SOURCE 0 policy $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &policy->rwsem