Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/cpufreq/powernow-k8.c fill_powernow_table() -> check_pst_table()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->batps 0-3
PARAM_VALUE 0 data->cpu 0
PARAM_VALUE 0 data->irt 0-3
PARAM_VALUE 0 data->numps 2-255
PARAM_VALUE 0 data->plllock 0-255
PARAM_VALUE 0 data->rvo 0-3
PARAM_VALUE 0 data->vstable 0-u16max
BUF_SIZE 0 data 176
CAPPED_DATA 0 data->numps 1
DATA_SOURCE 0 data $0
DATA_SOURCE 1 pst $1
DATA_SOURCE 2 maxvid $2
POWER_OF_TWO 0 *data
RX_PATH
TASK_NOT_RUNNING
LOCK2 &pol->rwsem
HALF_LOCKED2 &sp->mutex
TYPE_LOCK (struct cpufreq_policy)->rwsem