Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/cpufreq/powernow-k8.c powernowk8_cpu_exit() -> powernow_k8_cpu_exit_acpi()

Type Parameter Key Value
PARAM_VALUE 0 data 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &pol->rwsem
HALF_LOCKED2 &sp->mutex
TYPE_LOCK (struct cpufreq_policy)->rwsem

drivers/cpufreq/powernow-k8.c powernowk8_cpu_init() -> powernow_k8_cpu_exit_acpi()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->acpi_data.state_count 0-s32max
BUF_SIZE 0 data 176
CAPPED_DATA 0 data->acpi_data.state_count 1
DATA_SOURCE 0 data r _kzalloc_noprof
BIT_INFO 0 data->cpu 0x0,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 data->currvid 0-63[c]
LOCK2 &pol->rwsem
HALF_LOCKED2 &sp->mutex
TYPE_LOCK (struct cpufreq_policy)->rwsem