Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/cpufreq/cpufreq_stats.c cpufreq_stats_create_table() -> freq_table_get_index()

Type Parameter Key Value
PARAM_VALUE 0 stats 4096-ptr_max
PARAM_VALUE 0 stats->freq_table 4096-ptr_max
PARAM_VALUE 0 stats->max_state 1-s32max
PARAM_VALUE 1 freq 0-4294967293
BUF_SIZE 0 stats 72
BUF_SIZE 0 stats->time_in_state 0-u32max
CAPPED_DATA 0 stats->max_state 1
DATA_SOURCE 0 stats r _kzalloc_noprof

drivers/cpufreq/cpufreq_stats.c cpufreq_stats_create_table() -> freq_table_get_index()

Type Parameter Key Value
PARAM_VALUE 0 stats 4096-ptr_max
PARAM_VALUE 0 stats->freq_table 4096-ptr_max
PARAM_VALUE 0 stats->max_state 1-s32max
BUF_SIZE 0 stats 72
BUF_SIZE 0 stats->time_in_state 0-u32max
CAPPED_DATA 0 stats->max_state 1
DATA_SOURCE 0 stats r _kzalloc_noprof

drivers/cpufreq/cpufreq_stats.c cpufreq_stats_record_transition() -> freq_table_get_index()

Type Parameter Key Value
PARAM_VALUE 0 stats 4096-ptr_max
DATA_SOURCE 1 freq $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 freq 800000-7000000[c]
NO_OVERFLOW_SIMPLE 1 freq