Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 stats 4096-ptr_max
PARAM_VALUE 0 stats->last_index 1-4294967294
PARAM_VALUE 0 stats->max_state 1-u32max
PARAM_VALUE 0 stats->reset_pending 0
CAPPED_DATA 0 stats->max_state 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/cpufreq/cpufreq_stats.c cpufreq_stats_reset_table() -> cpufreq_stats_update()

Type Parameter Key Value
PARAM_VALUE 0 stats 4096-ptr_max
PARAM_VALUE 0 stats->reset_pending 0
PARAM_VALUE 0 stats->total_trans 0
DATA_SOURCE 0 stats $0
MEM_ZERO 0 stats->time_in_state
MEM_ZERO 0 stats->trans_table
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL