Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/cpufreq/armada-8k-cpufreq.c armada_8k_cpufreq_exit() -> armada_8k_cpufreq_free_table()

Type Parameter Key Value
BUF_SIZE 0 freq_tables s32min-(-2),1-s32max
BUF_SIZE 0 freq_tables s32min-(-2),1-s32max
NOCHECK_CALL
UNITS 0 freq_tables unit_byte

drivers/cpufreq/armada-8k-cpufreq.c armada_8k_cpufreq_init() -> armada_8k_cpufreq_free_table()

Type Parameter Key Value
PARAM_VALUE 0 freq_tables 16,4096-ptr_max
BUF_SIZE 0 freq_tables 0-51539607528
BUF_SIZE 0 freq_tables 0-51539607528
DATA_SOURCE 0 freq_tables r _kzalloc_noprof
NOCHECK_CALL