cpufreq_quick_get_max
EXPORT_SYMBOL(cpufreq_quick_get_max);
cpufreq_quick_get_max(0) / 1000;
cpufreq_quick_get_max(0)/1000);
unsigned int cpufreq_quick_get_max(unsigned int cpu);