setting CPU frequency

[Richard Kimber]

On Wed, 17 Jan 2018 14:58:46 +0100
Oliver Grawert <ogra at ubuntu.com> wrote:

> hi,
> Am Mittwoch, den 17.01.2018, 14:52 +0100 schrieb Oliver Grawert:
> > 
> > (wasnt there the same discussion on this list just recently ?)
> >   
> 
> ...for managing pstate:
> 
> https://askubuntu.com/a/614390/217953

Thanks.  That document implies that I can do
sudo sh -c 'echo -n 85 >
  /sys/devices/system/cpu/intel_pstate/max_perf_pct'
but although after doing that
cat /sys/devices/system/cpu/intel_pstate/max_perf_pct says '85',
cat /proc/cpuinfo gives "cpu MHz   : 4000.016" which doesn't
seem to be 85% of 4.4Ghz

Does /proc/cpuinfo not give the actual frequency? If not what does?

- Richard
-- 
Richard Kimber