OK, I've been trying to set up cpu frequency scaling in my Dell Inspiron
5150 (3.06GHz Mobile Pentium 4, debian testing and 2.6.5 kernel). I
seem to have everything in place, cpu frequency scaling compiled into
the kernel, together with performance and powersave governors, userspace
governor as default, frequency tables helpers too, and the p4-clockmod
module as driver. All the relevant files show up under
/sys/devices/system/cpu/cpu0/cpufreq/ and the userspace daemon I use to
switch frequencies (powernowd) loads and apparently changes frequencies
alright.
My problem is that I can notice no cooling at all, CPU temperature is
around 70C most of the time,
whole cpufreq thing. I don't know how to measure real frequency:
the numbers that show on /proc/cpuinfo match with
/sys/devices/system/cpu/cpu0/cpufreq/scaling_setspeed, but x86info -mhz
(which reads from /dev/cpu/0/cpuid, I believe, shows a different clock
speed (higher, either around 1500 MHz or, most of the time, the full
3.06 GHz). Which one should I trust? Is there any other way to measure
cpu speed accurately?
Thanks