cppc_get_dmi_max_khz  157 drivers/cpufreq/cppc_cpufreq.c 			max_khz = cppc_get_dmi_max_khz();
cppc_get_dmi_max_khz  181 drivers/cpufreq/cppc_cpufreq.c 			max_khz = cppc_get_dmi_max_khz();