Symbol: __intel_pstate_update_max_freq
drivers/cpufreq/intel_pstate.c
1487
__intel_pstate_update_max_freq(policy, all_cpu_data[cpu]);
drivers/cpufreq/intel_pstate.c
1496
__intel_pstate_update_max_freq(policy, cpudata);